CPL is a programming language based on category theory, originally designed by Tatsuya Hagino in his 1987 PhD thesis at the University of Edinburgh. It has no built-in data types — products, coproducts, natural numbers, and even exponentials (function space) are all defined by the user using F,G-dialgebras.

In this release, CPL now runs in your browser via WebAssembly with no installation required. I've also added tutorials in both English and Japanese.