- A small (<500 LOC) programming language capable of proving theorems about its own terms https://github.com/maiavictor/cedille-core 14 comments haskell
Linking pages
Linked pages
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- Lambda calculus - Wikipedia https://en.wikipedia.org/wiki/Lambda_calculus#Motivation 103 comments
- GitHub - Gabriella439/Haskell-Morte-Library: A bare-bones calculus-of-constructions https://github.com/Gabriel439/Haskell-Morte-Library 41 comments
- Brainfuck - Wikipedia https://en.wikipedia.org/wiki/Brainfuck 17 comments
- Isabelle https://isabelle.in.tum.de/ 0 comments
- Agda (programming language) - Wikipedia https://en.wikipedia.org/wiki/Agda_(programming_language) 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - VictorTaelin/Cedille-Core: A minimal proof language.
See how to search.