4 ms·
it’s a pretty standard type theory lambda calculus, written as sexps because it’s inside racket, but it’s its own thing.
by cmrx64 8y ago
it’s a pretty standard type theory lambda calculus, written as sexps because it’s inside racket, but it’s its own thing.