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.
lstrsrmn/TyleiLanguage
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.