New top story on Hacker News: F* is functional programming language aimed at program verification

http://fstar-lang.org
New top story on Hacker News: F* is functional programming language aimed at program verification http://ift.tt/2yXdVOu
via IFTTT