Geeks
jochembroekhoff
/
agda2llvm
LLVM Backend for Agda (BSc thesis)
Primary Language
Haskell
MIT License
MIT
agda2llvm GitHub
Markdown
Readme
0
Issues
3
Stargazers
1
Watcher
Watchers
jochembroekhoff
Oracle Labs