James T. Martin james

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