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

Directory listing for lambda-calculator-3.1.1.0 source tarball

lambda-calculator-3.1.1.0/

• LICENSE
• Setup.hs
• lambda-calculator.cabal
• app/
  • CliOptions.hs
  • Main.hs
  • Repl.hs
  • Repl/
    • Shared.hs
    • SystemF.hs
    • Untyped.hs
• scripts/
  • HLint.hs
• src/
  • Language/
    • Lambda.hs
    • Lambda/
      • SystemF.hs
      • Untyped.hs
      • Shared/
        • Errors.hs
        • UniqueSupply.hs
      • SystemF/
        • Eval.hs
        • Expression.hs
        • Parser.hs
        • State.hs
        • TypeCheck.hs
      • Untyped/
        • Eval.hs
        • Expression.hs
        • Parser.hs
        • State.hs
• test/
  • Spec.hs
  • Language/
    • Lambda/
      • SystemFSpec.hs
      • UntypedSpec.hs
      • SystemF/
        • EvalSpec.hs
        • ExpressionSpec.hs
        • HspecUtils.hs
        • ParserSpec.hs
        • TypeCheckSpec.hs
        • Examples/
          • BoolSpec.hs
          • NatSpec.hs
      • Untyped/
        • EvalSpec.hs
        • ExpressionSpec.hs
        • HspecUtils.hs
        • ParserSpec.hs
        • Examples/
          • BoolSpec.hs
          • NatSpec.hs
          • PairSpec.hs