diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-28 17:38:12 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-28 17:38:12 -0500 |
| commit | 340907b17a215766a18808ce4b98fabe0f465961 (patch) | |
| tree | 6785edf1eafda0dcca2bd59e1c274a876ac17c63 /Data/Circuit/Gate.agda | |
| parent | 0bf55c23ad3bee621d0e7425f5a5e875254e3450 (diff) | |
Add second level parameter to Setoids SMC
Diffstat (limited to 'Data/Circuit/Gate.agda')
0 files changed, 0 insertions, 0 deletions