|
|
| | Against Curry-Howard Mysticism (liamoc.net) | | 5 points by fanf2 5 months ago | past | |
| | Against Curry-Howard Mysticism (liamoc.net) | | 5 points by matt_d 7 months ago | past | |
| | Domain Theory Lecture Notes (liamoc.net) | | 61 points by todsacerdoti 7 months ago | past | 7 comments | |
| | The Trouble with Typing Type as Type (2015) (liamoc.net) | | 1 point by azhenley on Jan 20, 2020 | past | |
| | Learn You an Agda (and Achieve Enlightenment) (liamoc.net) | | 1 point by lelf on April 8, 2019 | past | |
| | Learn you an Agda (2011) (liamoc.net) | | 80 points by jxub on June 15, 2018 | past | 8 comments | |
| | Writing a Compiler by Proving It Correct (liamoc.net) | | 139 points by kachnuv_ocasek on Nov 15, 2015 | past | 10 comments | |
| | The Theory of patches-vector (liamoc.net) | | 22 points by psibi on Nov 10, 2015 | past | 12 comments | |
| | Learn you an Agda (liamoc.net) | | 161 points by pykello on April 29, 2015 | past | 24 comments | |
| | Imperative Reasoning Is Hard (liamoc.net) | | 4 points by svenkatesh on Dec 29, 2013 | past | 1 comment | |
| | Imperative Reasoning is Hard (liamoc.net) | | 4 points by lelf on Dec 27, 2013 | past | |
| | Safe: Robust programming in Haskell via types, testing, debugging (liamoc.net) | | 39 points by dons on April 3, 2010 | past | 30 comments | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
