Lobsters
- Agda Core: The Dream and the Reality https://jesper.cx/posts/agda-core.html 7 comments programminglanguages
Linked pages
- CakeML https://cakeml.org/ 68 comments
- Jesper Cockx - 6 Reasons in favor of a core language, and 5 against https://jesper.cx/posts/why-not-a-core-language.html 31 comments
- Jesper Cockx - 1001 Representations of Syntax with Binding https://jesper.cx/posts/1001-syntax-representations.html 20 comments
- GitHub - agda/agda2hs: Compiling Agda code to readable Haskell https://github.com/agda/agda2hs 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:jesper.cx
Search title: Jesper Cockx - Agda Core: The Dream and the Reality
See how to search.