2 ms·

What language does this book use? A dependently typed LISP? Or something Haskelly?

• 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.