The latest version of lambda-cube is 0.3.0.0-0.
lambda-cube
Version 0.1.0.0 revision 0 uploaded by Ailrun.
Package meta
- Synopsis
- Haskell implementation of (some of) lambda cube calculi
- Description
Haskell implementation of the following 4 lambda calculi: 1. Simply typed lambda calculus 2. System F 3. System F omega underbar 4. System F omega
- Author
- Junyoung Clare Jang
- Bug reports
- https://github.com/Ailrun/LambdaCube/issues
- Category
- Utilities
- Copyright
- 2021 Junyoung Clare Jang
- Homepage
- https://github.com/Ailrun/LambdaCube#readme
- Maintainer
- jjc9310@gmail.com
- Package URL
- n/a
- Stability
- n/a