Lambda calculus with recursion via a Y-combinator.

LambdaCalculusWithRecursion

Y-combinator.

Lambda Calculus with Church Numeral Encodings

LambdaCalculusWithChurchNumerals

Lambda Calculus with Church Numeral Encodings

Monomorphic type inference.

MonomorphicTypeInference

README notes for type inference.

Type checking complete.

TypeChecking2

`typeOf` defined for function definitions.

Type checking for all expressions except Fun.

TypeChecking1

Type checking -- Functions not done yet.

Function definitions and application.

We can now define non-recursive functions.

A parser for the Simple Expr that builds AST for names, integers, +, -, *, /.

simpleExpr-parser

Parser for the SimpleExpr language.

A Lexer for the Simple Expr to recognize names, integers, +, -, *, /.

simpleExpr-lexer

Syntax highlighting in the README file.

StackMachine and the compile function.

stackMachine

Stack machine code and compilation.

Simple Expr (Const. ints, vars, arith. ops, let-in)

simpleExpr

SimpleExpr, hw1, and hw2.