News for hackers. Stuff that matters.

A comment on The limits of type theory: computation vs. interaction. Parent comment

Re:The limits of type theory: computation vs. interaction by danghica on Tuesday June 09, 2015 @04:33AM (#9684641)
You would still need to program in Agda though :) Cheers!
[ Parent | on HN ]

There are no comments on this comment yet.