Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for pisigma-0.2 source tarball
pisigma-0.2/
LICENSE
Setup.hs
pisigma.cabal
emacs-mode/
eri.el
pisigma-input.el
pisigma-mode.el
examples/
Bool.pi
Conat.pi
Curry.pi
Empty.pi
Equal.pi
Fin.pi
Hurkens.pi
Id.pi
Maybe.pi
Nat.pi
Parser.pi
Streams.pi
Unit.pi
Universe.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