iq-scm / tao Goto Github PK
View Code? Open in Web Editor NEWThis project forked from 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.
Home Page: https://tao.jsbarretto.com/
License: Mozilla Public License 2.0