Submissions from liamoc.net

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

HN For You