News for hackers. Stuff that matters.

A comment on Against the definition of types. Parent comment

Re:Against the definition of types by tel on Thursday May 14, 2015 @04:44PM (#9547476)
Dependent type literature will answer both of your questions relatively quickly. Also look at "proof search" in that context.
[ Parent | on HN ]

There are no comments on this comment yet.