New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement: Make the rewrite mode modifiable #41 #165

Merged

4e554c4c merged 2 commits into agda:master from ivanovs-4:issue-rewrite-mode-41

Feb 19, 2025

Contributor

ivanovs-4 commented Feb 17, 2025 •

edited

Loading

Resolve #41

ivanovs-4 added 2 commits

February 18, 2025 01:25


          Add nix shell with package requirements

fee11ee


          Implement: Make the rewrite mode modifiable agda#41

636e462

Contributor Author

ivanovs-4 commented Feb 17, 2025

Shell is needed just to develop with ghcid.

4e554c4c merged commit 01babd0 into agda:master

16 of 17 checks passed

Collaborator

4e554c4c commented Feb 19, 2025

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet