(untitled)

Anonymous · 2015-12-04 15:36

https://www.youtube.com/watch?v=em_tDc1Gc40 https://www.fstar-lang.org/#introduction This looks extremely cool. It has dependent types and SMT solver to prove code correct, uses monads for effects.