Submissions by theaeolist

Mathematics as a domain specific language

Undecidable problems in physics

Functional Bits: Lambda-calculus based algorithmic information theory [pdf]

Logitext – An educational proof assistant for first-order classical logic

If monads are the solution, what is the problem?

Haskell ain't maths

A brief introduction to the ppx extension mechanism in OCaml

Wittgenstein and emoji

Fourier series audio demo by Prof. Peter Selinger

Debugging and profiling functional languages using diagrams

Sequentiality as the Essence of Parallelism