stjordanis / scala_typeclassopedia Goto Github PK
View Code? Open in Web Editor NEWThis project forked from lemastero/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.
License: Creative Commons Attribution Share Alike 4.0 International