You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Includes a parser, interpreter, and an optional type system which supports parametric sum, product, and function types. There are no concrete types but they can be made as a product of zero members.