Abstract nonsense: category theory, recursion schemes, dependent types, etc.
Updated 2024-01-04 15:12:07 -08:00
A purely-functional programming language with Hindley-Milner type inference and `callcc`.
Updated 2022-07-25 03:04:00 -07:00