- Barebones lambda cube in OCaml https://gist.github.com/Hirrolot/89c60f821270059a09c14b940b454fd6 2 comments functionalprogramming
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
- Curry–Howard correspondence - Wikipedia https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 63 comments
- Lambda cube - Wikipedia https://en.wikipedia.org/wiki/Lambda_cube 59 comments
- Church encoding - Wikipedia http://en.wikipedia.org/wiki/Church_encoding 58 comments
- http://lucacardelli.name/Papers/TypeSystems.pdf 58 comments
- Lean http://leanprover.github.io 46 comments
- https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf 36 comments
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- metalang99/lambda_calculus.c at master · Hirrolot/metalang99 · GitHub https://github.com/hirrolot/metalang99/blob/master/examples/lambda_calculus.c 32 comments
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- Intuitionistic logic - Wikipedia http://en.wikipedia.org/wiki/intuitionistic_logic 8 comments
Related searches:
Search whole site: site:gist.github.com
Search title: Barebones lambda cube in OCaml · GitHub
See how to search.