Tags functional-programming

Gödel's System T in TypeScript

Experimenting with a rudimentary type system that ensures the programs always terminate.

On Recursive Functions

Lambda Calculus and the Y combinator in JavaScript.