Geeks
nicmart
/
ChurchScala
Church type encodings in Scala
Primary Language
Scala
Other
NOASSERTION
ChurchScala GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
This repository is not active