aboutsummaryrefslogtreecommitdiff
path: root/Data/Circuit/Gate.agda
AgeCommit message (Expand)Author
28 hoursAdd Circuit typeJacques Comeaux
2025-07-09Fix broken importJacques Comeaux
2025-07-03Add S-Expression parser and circuit typecheckerJacques Comeaux