An interactive simply-typed lambda-calculus implemented in Haskell.
finnbar/simply-typed-ext
An extended version of the interactive simply-typed lambda-calculus implemented in Haskell.
Haskell
An extended version of the interactive simply-typed lambda-calculus implemented in Haskell.
Haskell