/scala_typeclassopedia

Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.

Primary LanguageScalaCreative Commons Attribution Share Alike 4.0 InternationalCC-BY-SA-4.0

No issues in this repository yet.