• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for verifiable-expressions-0.6.3 source tarball

verifiable-expressions-0.6.3/

• .gitignore
• CHANGELOG.md
• LICENSE
• README.md
• Setup.hs
• notes.org
• package.yaml
• stack.yaml
• stack.yaml.lock
• verifiable-expressions.cabal
• .github/
  • workflows/
    • ci.yml
• Language/
  • Expression.hs
  • Verification.hs
  • Expression/
    • Choice.hs
    • Example.hs
    • GeneralOp.hs
    • Lambda.hs
    • Pretty.hs
    • Prop.hs
    • Scope.hs
    • Util.hs
  • Verification/
    • Conditions.hs
    • Continuity.hs
    • Core.hs
  • While/
    • Hoare.hs
    • Syntax.hs
    • Test.hs
    • Hoare/
      • Prover.hs
    • Syntax/
      • Sugar.hs