Abstract nonsense: category theory, recursion schemes, dependent types, etc.
Updated
A purely-functional programming language with Hindley-Milner type inference and `callcc`.
Updated
Abstract nonsense: category theory, recursion schemes, dependent types, etc.
Updated
A purely-functional programming language with Hindley-Milner type inference and `callcc`.
Updated