Geeks
bgaster
/
lambdapi
LambdaPi: Simple Implementation of Dependent Types
Primary Language
Scala
MIT License
MIT
lambdapi GitHub
Markdown
Readme
0
Issues
4
Stargazers
2
Watchers
Watchers
bgaster
Mine
jhcloos