π» Developer Nexus: curry
GitHub
evilsoft/crocks
A collection of well known Algebraic Data Types for your utter enjoyment.
β 1598 | π΄ 100GitHub
zesterer/tao
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
β 1158 | π΄ 22