Documentation for the ZF* (pronounced "Z-F-Star") dialect of F*
ZF* is the smart contracting language for the Zen Protocol.
ZF* is a dialect of the F* language.
Prerequisites
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.