News for hackers. Stuff that matters.

A comment on So you want to learn type theory. Parent comment

Re:So you want to learn type theory by molikto on Monday December 22, 2014 @01:44AM (#8782270)
is there anything in the world that is non-nonsense? so it is better to study pure-nonsense, just because it is pure
[ Parent | on HN ]
Re:So you want to learn type theory by TheGrassyKnoll on Monday December 22, 2014 @01:39PM (#8784364)
I think they call it: 'death'
[ Parent | on HN ]