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