enter for all results · esc to close
github.comtool
Algebraic data types constructors, pattern-matching, morphisms, optics and typeclasses.
JVM › Metaprogramming: “Algebraic data types constructors, pattern-matching, morphisms, optics and typeclasses.”