News for hackers. Stuff that matters.

A comment on Albatross – A Programming Language with Static Verification.

Re:Albatross – A Programming Language with Static Verification by rubynl on Tuesday August 11, 2015 @04:50AM (#10039754)
Looks very interesting! I am very curious how a non-trivial program with proof looks :)
[ Parent | on HN ]

There are no comments on this comment yet.