aboutsummaryrefslogtreecommitdiff
path: root/Data/Circuit/Value.agda
AgeCommit message (Collapse)Author
2025-11-09Clean up System functorsJacques Comeaux
2025-08-12Add lattice of logical circuit valuesJacques Comeaux