A preview of Coalton 0.2, a statically-typed Lisp

Using Coalton to implement a quantum compiler (2022)

Using Coalton to Implement a Quantum Compiler

One Reason Typeclasses Are Useful

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