4 lines (3 loc) · 203 Bytes

Tylei

Tylei is a statically type language based on the lambda calculus, using normalisation by evaluation implementation of system F omega with inductive types and IO.