Thoughts and stuff
Oracle-free terms are turing-complete.
Expressing side effects with Recipes.
Explaining -encodings with JS.
Theorem proving vs testing.
Supercompilation for free.
Compiler code of m3k. m3k is a Lisp dialect that was written in TypeScript and compiles to JavaSc...
A simple, clean and fast implementation of the λ-calculus on JavaScript.
Minimal, efficient proof language
An optimal function evaluator written in JavaScript.
Optimal evaluator of λ-calculus terms.
A simple, untyped, terminating functional language that is fully compatible with optimal reductions.
Let's explain what a closure is by writing a JavaScript interpreter in JavaScript.
A Learning Path for Functional Programming
Proof assistant for Typographical Number Theory
A minimal proof language.