aboutsummaryrefslogtreecommitdiff
path: root/NaturalTransformation/Instance/GateSemantics.agda
AgeCommit message (Collapse)Author
15 hoursRefactor systems and add looped systemsJacques Comeaux
2026-01-13Move values moduleJacques Comeaux
2026-01-11Construct SM nat trans from Circ to SysJacques Comeaux