aboutsummaryrefslogtreecommitdiff
path: root/Data/Circuit/Merge.agda
AgeCommit message (Expand)Author
2025-11-09Clean up System functorsJacques Comeaux
2025-10-22Add symmetric monoidal structure to Push functorJacques Comeaux
2025-10-15Use new if-then-else propertyJacques Comeaux
2025-10-10Add Push and Pull functorsJacques Comeaux