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