Geeks
Ailrun
/
lambda-cube
Haskell implementation of (some of) lambda cube calculi
Primary Language
Haskell
MIT License
MIT
lambda-cube GitHub
Markdown
Readme
0
Issues
7
Stargazers
3
Watchers
LambdaCube