The Phage Programming Language
GPL-3.0 License
Statistics for this project are still being loaded, please check back later.
A modern syntax for the λ-calculus.
Learning haskell with a rascal!
A program for evaluating a Haskell expression step-by-step
Functional Programming Course
Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
An interpreter for learning and exploring pure λ-calculus
Make a lambda calculus.