A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
License
zesterer/tao
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published