contract-0.1.0.0

contract-0.1.0.0

Please see the README on GitHub at https://github.com/Krantz-XRF/contract#readme

Signatures

Modules

Language
Submodules
- Contract
  Submodules
  - 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.