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/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

zesterer/tao Stargazers