News for hackers. Stuff that matters.

A comment on Flex. Parent comment

Re:Flex by mietek on Wednesday March 29, 2017 @10:07AM (#13986311)
I agree. One could argue that Agda and Idris are a better interface to the type theory that underlies Coq.
[ Parent | on HN ]

There are no comments on this comment yet.