- How to implement dependent types in 80 lines of code https://gist.github.com/Hirrolot/27e6b02a051df333811a23b97c375196 30 comments programminglanguages
- How to implement dependent types in 80 lines of code https://gist.github.com/Hirrolot/27e6b02a051df333811a23b97c375196 2 comments functionalprogramming
Linked pages
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 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
- Epigrams on Programming http://www-pu.informatik.uni-tuebingen.de/users/klaeren/epigrams.html 35 comments
- http://okmij.org/ftp/tagless-final/course/lecture.pdf 12 comments
- Barebones lambda cube in OCaml · GitHub https://gist.github.com/Hirrolot/89c60f821270059a09c14b940b454fd6 2 comments
- https://davidchristiansen.dk/tutorials/implementing-types-hs.pdf 1 comment
- Checking Dependent Types with Normalization by Evaluation: A Tutorial https://davidchristiansen.dk/tutorials/nbe/ 0 comments
- Tagless-Final Cookbook http://okmij.org/ftp/tagless-final/cookbook.html#ski 0 comments
- http://okmij.org/ftp/tagless-final/JFP.pdf 0 comments
- de Bruijn index - Wikipedia https://en.wikipedia.org/wiki/De_Bruijn_index 0 comments
Related searches:
Search whole site: site:gist.github.com
Search title: How to implement dependent types in 80 lines of code · GitHub
See how to search.