Geeks
GuillaumeGen
/
Agda2Dedukti
Primary Language
Haskell
Agda2Dedukti GitHub
Markdown
Readme
0
Issues
2
Stargazers
0
Watchers
Agda2Dedukti