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

Directory listing for hoq-0.3 source tarball

hoq-0.3/

• LICENSE
• README.md
• Setup.hs
• hoq.cabal
• data/
  • hoq.vim
• dist/
  • build/
    • hoq/
      • hoq-tmp/
        • Syntax/
          • Parser/
            • Lexer.hs
            • Parser.hs
• examples/
  • Nat.hoq
  • Paths.hoq
  • basics.hoq
  • circle.hoq
  • hlevel.hoq
  • lem.hoq
  • Cats/
    • Cat.hoq
    • Simp1.hoq
• src/
  • Main.hs
  • Normalization.hs
  • REPL.hs
  • Semantics.hs
  • Syntax.hs
  • File/
    • Load.hs
  • Semantics/
    • Pattern.hs
    • Value.hs
  • Syntax/
    • ErrorDoc.hs
    • Parser.hs
    • PrettyPrinter.hs
    • Term.hs
    • Parser/
      • Lexer.x
      • Parser.y
  • TypeChecking/
    • Context.hs
    • Definitions.hs
    • Expressions.hs
    • Monad.hs
    • Definitions/
      • DataTypes.hs
      • Functions.hs
      • Records.hs
      • Termination.hs
    • Expressions/
      • Conditions.hs
      • Coverage.hs
      • Patterns.hs
      • Telescopes.hs
      • Utils.hs
    • Monad/
      • Scope.hs
      • Warn.hs