- What is the easiest way to extend Morte to enable pattern-matching, induction and similar? https://github.com/Gabriel439/Haskell-Morte-Library 27 comments haskell
- My particular take in a minimalist, simple & fast implementation of the Calculus of Constructions https://github.com/Gabriel439/Haskell-Morte-Library 14 comments haskell
Linking pages
- What is wrong with the web | by Victor Maia | Medium https://medium.com/@maiavictor/what-is-wrong-with-the-web-and-why-we-need-moon-4038949ede34 60 comments
- The Symmetric Interaction Calculus | by Victor Maia | Medium https://medium.com/@maiavictor/the-abstract-calculus-fe8c46bcf39c 42 comments
- GitHub - VictorTaelin/Cedille-Core: A minimal proof language. https://github.com/maiavictor/cedille-core 14 comments
- About induction on the Calculus of Constructions | by Victor Maia | Medium https://medium.com/@maiavictor/about-induction-on-the-calculus-of-constructions-581fcfdb89c5 4 comments
- GitHub - chemouna/HaskellResources: Compilation of useful resources for learning Haskell https://github.com/chemouna/haskellresources 2 comments
Linked pages
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - Gabriella439/Haskell-Morte-Library: A bare-bones calculus-of-constructions
See how to search.