News for hackers. Stuff that matters.

A comment on Dafny – A programming language with a program verifier. Parent comment

Re:Dafny – A programming language with a program verifier by Kametrixom on Thursday January 19, 2017 @08:48PM (#13441159)
Check out Idris maybe
[ Parent | on HN ]

There are no comments on this comment yet.