🕺
Everything is possible!
Apply formal methods, category theory, type theory to build: blockchains / compilers / big data
in Scala / Haskell / Idris / Agda
@ScalaConsultants
- Lublin
- https://scalac.io/
- @pparadzinski
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.