Skew

A typed DSL for compositional financial contracts in OCaml