News for hackers. Stuff that matters.

A comment on Ask HN: Any logic based software dev tool which helps building code gradually?. Parent comment

Re:Ask HN: Any logic based software dev tool which helps bui... by pezo1919 on Sunday July 14, 2019 @04:40PM (#20435850)
Thanks, dependent typed languages seem something to consider. Coq, Agda and Idris seem the most useful to me.
[ Parent | on HN ]

There are no comments on this comment yet.