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

Directory listing for lambda-calculator-1.1.0 source tarball

lambda-calculator-1.1.0/

• LICENSE
• Setup.hs
• lambda-calculator.cabal
• app/
  • Main.hs
• src/
  • Language/
    • Lambda.hs
    • SystemF.hs
    • Lambda/
      • Eval.hs
      • Expression.hs
      • Parser.hs
      • Util/
        • PrettyPrint.hs
    • SystemF/
      • Expression.hs
      • Parser.hs
• test/
  • HLint.hs
  • Spec.hs
  • Language/
    • LambdaSpec.hs
    • SystemFSpec.hs
    • Lambda/
      • EvalSpec.hs
      • ExpressionSpec.hs
      • HspecUtils.hs
      • ParserSpec.hs
      • Examples/
        • BoolSpec.hs
        • NatSpec.hs
        • PairSpec.hs
      • Util/
        • PrettyPrintSpec.hs
    • SystemF/
      • ExpressionSpec.hs
      • ParserSpec.hs