Contracts Language ZF*
Documentation for the ZF* (pronounced "Z-F-Star") dialect of F*
Before beginning to develop with ZF*, it is worth developing familiarity with a statically typed functional language, such as F#, OCaml, or Haskell.
It's worth skimming through the F* tutorial. Note that the F* tutorial also assumes familiarity with F#, OCaml, or Haskell.
F# ( Online )
* F# Programming WikiBook
* F# for C#, Java or Python developers
* F# Cheat Sheet
* Learn F# in Y Minutes
F# ( Books )
* Real-World Functional Programming
* Expert F# 4.0
OCaml ( Online )
* OCaml Tutorials
* Real World OCaml (Dev version)
OCaml ( Books )
* Real World OCaml (Slightly out of date. Use the online dev version for more up-to-date information)
Haskell ( Online )
* Learn You a Haskell for Great Good!
Haskell ( Books )
* Learn You a Haskell for Great Good!
Last modified 4yr ago