News for hackers. Stuff that matters.

A comment on Where Do Type Systems Come From?. Parent comment

Re:Where Do Type Systems Come From? by agumonkey on Friday July 07, 2017 @07:08PM (#14722928)
I only read two pages on homotopy so far, I cannot answer that :)
[ Parent | on HN ]

There are no comments on this comment yet.