contract-0.1.0.0
Please see the README on GitHub at https://github.com/Krantz-XRF/contract#readme
Signatures
Modules
- Language
- Contract
- Language.Contract.AST Abstract Syntax Tree for the contract language.
- Language.Contract.Check Type checker for the contract language.
- Language.Contract.Parser Parser for the contract language (STLC based).
- Language.Contract.Pretty Pretty printer for the contract language.
- Language.Contract.Proof Theorem prover for type checking.
- Contract