| | Against Curry-Howard Mysticism (liamoc.net) |
| 5 points by fanf2 10 months ago | past |
|
| | Against Curry-Howard Mysticism (liamoc.net) |
| 5 points by matt_d 11 months ago | past |
|
| | Domain Theory Lecture Notes (liamoc.net) |
| 61 points by todsacerdoti 11 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 |
|
