Popular repositories Loading
-
TypeclassFunctorMonad_Scala
TypeclassFunctorMonad_Scala PublicThis repository contains an implementation (IntelliJ project) in scala 2 of type class, functor, monad and monad transformer for a seminary. There are also LaTeX slides inside.
-
Towards-Substructural-Property-Based-Testing
Towards-Substructural-Property-Based-Testing PublicCode correlated to paper "Towards Substructural Property-Based Testing"
Prolog 2
-
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.