lorentz-0.9.1: EDSL for the Michelson Language
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Lorentz.Constraints
Documentation
module
Lorentz.Constraints.Scopes
module
Lorentz.Constraints.Derivative