@hackage lambda-cube0.3.0.0

Haskell implementation of (some of) lambda cube calculi

Categories
License
MIT
Maintainer
jjc9310@gmail.com
Links
Versions
- 0.3.0.0 Thu, 26 Aug 2021
- 0.2.0.0 Tue, 24 Aug 2021
- 0.1.0.0 Sat, 21 Aug 2021

Installation
In your cabal file:
Dependencies (5)
- base >=4.12 && <5
- megaparsec >=9.0.1 && <9.1
- syb
- template-haskell
- text >=1.2.4.0
Dependents (0)

Haskell implementation of the following 4 lambda calculi:

Simply typed lambda calculus
System F
System F omega underbar
System F omega