Hacker News
- Learn You an Agda (2014) https://williamdemeo.github.io/2014/02/27/learn-you-an-agda/ 13 comments
- Learn You an Agda http://williamdemeo.github.io/2014/02/27/learn-you-an-agda/ 70 comments
- Learn You an Agda http://williamdemeo.github.io/2014/02/27/learn-you-an-agda/ 62 comments haskell
- Learn You an Agda http://williamdemeo.github.io/2014/02/27/learn-you-an-agda/ 6 comments programming
Linked pages
- Learn You a Haskell for Great Good! http://learnyouahaskell.com/ 817 comments
- Haskell Platform http://hackage.haskell.org/platform/ 140 comments
- Halting problem - Wikipedia https://en.wikipedia.org/wiki/halting_problem#oracle_machines 129 comments
- Learn you An Agda And Achieve Enlightenment http://learnyouanagda.liamoc.net/ 68 comments
- Russell's paradox - Wikipedia http://en.wikipedia.org/wiki/Russell's_paradox 16 comments
- Curry–Howard correspondence - Wikipedia http://en.wikipedia.org/wiki/Curry–Howard_correspondence 1 comment
- http://www.stephendiehl.com/posts/agda.html 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:williamdemeo.github.io
Search title: Learn You an Agda - William DeMeo
See how to search.