The library containts Dotty traits describing algebraic structures in a categorial theoretic sense.
Primary LanguageScala