A point-free reversible programming language interpreted in Rel, and Q42, the same language over the complex numbers
programming-language interpreter category-theory quantum-computing openqasm reversible-computing dagger-category
-
Updated
Aug 26, 2026 - Python