News for hackers. Stuff that matters.

A comment on Flex.

Re:Flex by molikto on Wednesday March 29, 2017 @09:36AM (#13986050)
What about a better interface for Coq? I think this makes more sense to experienced programmers. Also for mankind.
[ Parent | on HN ]
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 ]