finnbar/simply-typed-ext
An extended version of the interactive simply-typed lambda-calculus implemented in Haskell.
Haskell
Watchers
No one’s watching this repository yet.
An extended version of the interactive simply-typed lambda-calculus implemented in Haskell.
Haskell
No one’s watching this repository yet.