Single Error Correction, Double Error Detection Codes for Everyone
SECD virtual machine for interpreting programs in FP languages and a Scheme compiler targeting that machine.
SECD virtual machine for interpreting programs in FP languages
A lambda calculus parser and interpreter
A lambda calculus command line repl