aboutsummaryrefslogtreecommitdiff
path: root/Data/Circuit/Gate.agda
AgeCommit message (Collapse)Author
11 daysFix broken importJacques Comeaux
2025-07-03Add S-Expression parser and circuit typecheckerJacques Comeaux