Linking pages
- Jesper Cockx - Don't worry (about writing Haskell), be happy (writing Agda instead)! https://jesper.sikanda.be/posts/agda2hs.html 38 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 - Agda Core: The Dream and the Reality https://jesper.cx/posts/agda-core.html 10 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - agda/agda2hs: Compiling Agda code to readable Haskell
See how to search.