Functional Programming Enthusiast.
I'm interested in:
- Functional Programming
- Logico-mathematical structures of programming
- Formal Verification
- Kobe, Japan
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.