/simply-typed-ext

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

Primary LanguageHaskell

Watchers

No one’s watching this repository yet.