Blog

Using Coalton to Implement a Quantum Compiler

Numbers in a Nutshell, an Update

One Reason Typeclasses Are Useful

AoC 2021 Coalton Contest

Introducing Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp