-
Notifications
You must be signed in to change notification settings - Fork 63
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.
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
chore: bump agda #371
chore: bump agda #371
Conversation
Absolutely should not change anything but I want to see how much the build time improved on GitHub, since the CI executors are... *slightly* underpowered, compared to my desktop.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is extremely good. Really glad to see the hlevel code melt.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The only comments I have are "wow!" and "I can't wait to use this!". Thank you so much for all your hard work on this; this is going to be an exciting recompilation of Agda :)
Still need to merge my WIP branch that kills
Extensionality
and the bulk of the hlevel tactic, but I want to get a CI run.