stagedtt
stagedtt copied to clipboard
RedPRL
🪆 A Staged Type Theory
Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4. Release notes Sourced from actions/checkout's releases. v4.0.0 What's Changed Update default runtime to node20 by @takost in actions/checkout#1436 Support fetching without the --progress option...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
# Patch Description This PR adds type holes, as well as some error reporting infrastructure. Such is life when we start a new proof assistant, hard to work on one...
The pretty printer right now is pretty bad! I should be able to use the ordered hash map in place of the crummy pretty printer environment, which should get rid...
It would be a good idea to add natural numbers for some nice meta programming examples. Shouldn't be too hard?