Source
https://github.com/zesterer/tao A statically-typed functional language with polymorphism, typeclasses, sum types, pattern-matching, first-class functions, currying, good diagnostics, and much more!
Last modified 07 October 2024