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

Directory listing for pisigma-0.1.0.2 source tarball

pisigma-0.1.0.2/

• LICENSE
• Setup.hs
• pisigma.cabal
• examples/
  • Bool.pi
  • Conat.pi
  • Data.pi
  • Empty.pi
  • EqProb.pi
  • Equal.pi
  • Fin.pi
  • Maybe.pi
  • Nat.pi
  • Streams.pi
  • Unit.pi
  • Universe.pi
  • Vec.pi
  • stl.pi
• src/
  • PiSigma.hs
  • PiSigma/
    • Check.hs
    • Equality.hs
    • Evaluation.hs
    • Nf.hs
    • Parser.hs
    • Print.hs
    • Syntax.hs