Languages


About the Languages category (1)
F* - an ML-like functional programming language aimed at program verification (6)
Philip Wadler's on Simplicity and Michelson (7)
Juvix: Haskell-to-Michelson source transpiler for writing smart contracts (2)
Michelson 101 ( 2 ) (33)
Why formal verification? (12)
Everything OCaml (3)
Real World OCaml - 2nd Edition (in progress) (1)