lambda-cube
Haskell implementation of the following 4 lambda calculi: Simply typed lambda calculus System F System F omega underbar System F omega
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
over 4 years ago
0.3.0.0
over 4 years ago
Versions
3
3
Downloads
547 total
547 total
Dependent Repos
1
1
Loading...
Readme
Loading...
Links
| Registry | hackage.haskell.org |
| Source | Repository |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/lambda-cube
spec |
| License | MIT |
| First Release | over 4 years ago |
| Last Synced | 24 days ago |
Repository
| Stars | 7 on GitHub |
| Forks | 0 on GitHub |