Scala, Functional Programming, Dependent Types
blog post: http://cogita-et-visa.blogspot.com/2014/05/dependent-types-in-scala.html
immediatus/dependent-types-in-scala
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Scala, Functional Programming, Dependent Types
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published