GitHub repository: mbg/simply-typed-ext
Primary language: Haskell
Description: An extended version of the interactive simply-typed lambda-calculus implemented in Haskell.