Software
Lambda Calculus Simulator
This is a program to help teaching Lambda Calculus. It is developed in Haskell, and there are versions for Windows and Linux.
Download
- Windows binary here (32 bits, requires GTK+ runtime 2.24 available here )
- Linux binary here (64 bits, Ubuntu Linux 13.10+)
- Linux binary here (32 bits, Ubuntu Linux 13.10+)
- Source code here (run "cabal install" within the uncompressed folder)
- Example program here
Untyped L1 Language Simulator
This is a program to help teaching Formal Semantics. The language L1 is a purely functional variant of PCF, with the "bools are ints" attitude of C and a syntax similar to Ocaml. Below you can find the interpreter and the language definition / operational semantics. The interpreter is developed in Haskell, and there are versions for Windows and Linux.
Download