http://qs1969.pair.com?node_id=425467


in reply to Re^4: "strong typing" is potentially ambiguous
in thread (Completely OT) - Hero(i)n programming language on Slashdot

I recently came across this paper which gives a nice introduction to some advanced type theory.


-- All code is 100% tested and functional unless otherwise noted.