Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Latest commitHistory | ||||
Repository files navigation
About
Haskell implementation of (some of) lambda cube calculi
Resources
Stars
7 stars
Watchers
1 watching
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Latest commitHistory | ||||
Haskell implementation of (some of) lambda cube calculi
7 stars
1 watching