Signatures

Modules

• Language
  Submodules

  • Contract
    Submodules

    •  Language.Contract.AST Abstract Syntax Tree for the contract language.contract-0.1.0.0
    •  Language.Contract.Check Type checker for the contract language.contract-0.1.0.0
    •  Language.Contract.Parser Parser for the contract language (STLC based).contract-0.1.0.0
    •  Language.Contract.Pretty Pretty printer for the contract language.contract-0.1.0.0
    •  Language.Contract.Proof Theorem prover for type checking.contract-0.1.0.0