Geeks
sammthomson
/
BoehmBerarducci
playing around with Boehm-Berarducci encodings in Idris
Primary Language
Idris
BoehmBerarducci GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Watchers
sammthomson
Microsoft (Semantic Machines)