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

Directory listing for hoq-0.1.0.0 source tarball

hoq-0.1.0.0/

• LICENSE
• README.md
• Setup.hs
• hoq.cabal
• data/
  • hoq.vim
• dist/
  • build/
    • hoq/
      • hoq-tmp/
        • Syntax/
          • BNFC/
            • LexGrammar.hs
            • ParGrammar.hs
• examples/
  • basics.hoq
  • circle.hoq
  • hlevel.hoq
  • lem.hoq
• src/
  • Main.hs
  • Normalization.hs
  • REPL.hs
  • File/
    • Load.hs
  • Syntax/
    • ErrorDoc.hs
    • Expr.hs
    • Grammar.cf
    • Pattern.hs
    • PrettyPrinter.hs
    • Scope.hs
    • Term.hs
    • BNFC/
      • LexGrammar.x
      • ParGrammar.y
  • TypeChecking/
    • Context.hs
    • Definitions.hs
    • Expressions.hs
    • Monad.hs
    • Definitions/
      • Conditions.hs
      • Coverage.hs
      • DataTypes.hs
      • Functions.hs
      • Patterns.hs
      • Termination.hs
    • Monad/
      • Scope.hs
      • Warn.hs