Geeks
Deducteam
/
pog2why
Translate a POG file into a lambdapi file
Primary Language
OCaml
pog2why GitHub
Markdown
Readme
0
Issues
0
Stargazers
3
Watchers
Stargazers
No one’s star this repository yet.