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

Directory listing for pisigma-0.1.0.3 source tarball

pisigma-0.1.0.3/

• LICENSE
• Setup.hs
• pisigma.cabal
• emacs-mode/
  • eri.el
  • pisigma-input.el
  • pisigma-mode.el
• examples/
  • Bool.pi
  • Broken.pi
  • Conat.pi
  • Curry.pi
  • Empty.pi
  • Equal.pi
  • Fin.pi
  • Foo.pi
  • Hurkens.pi
  • Maybe.pi
  • Nat.pi
  • Parser.pi
  • Parser2.pi
  • Parser3.pi
  • Streams.pi
  • SubjectReduction.pi
  • Unit.pi
  • Vec.pi
  • stl.pi
• src/
  • Language/
    • PiSigma/
      • Check.hs
      • Equality.hs
      • Evaluate.hs
      • Lexer.hs
      • Normalise.hs
      • Parser.hs
      • Pretty.hs
      • Syntax.hs
      • Util/
        • String/
          • Internal.hs
          • Parser.hs
  • Tools/
    • Interpreter/
      • Main.hs
      • REPL.hs