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