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!


Tags: language   functional  

Last modified 26 May 2024