There are no reviews yet. Be the first to send feedback to the community and the maintainers!
scala_typeclassopedia
Abstractions from Category theory with simple description & implementation, links to further resources.applied-category-theory-reading-club
concurrency_parallelism_effects
concurrency parallelism effects wikiTriglav
Profunctor optics in Scala, arrows, modular approach to abstractions in category theoryagda-hott
Notes on Homotopy Type Theory in Agdacontravariant_profunctor_exercises
Idris-Applied-Category-Theory
Implementation of concepts from Applied Category Theoryclojure-string-calculator-kata
purescript-supermonad
PureScript SuperMonads and SuperApplicativesscala-types-madness
ten_pin_bowling
Robert Martin, Clean Code video, implement bowling game score, in Scala, using TDD approachagda-verified-fp-algos
trifunctors_presentation
trifunctors
Love Open Source and this site? Check out how you can help us