diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-12-28 12:41:57 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-12-28 12:41:57 +0000 |
| commit | bf5fedb51726f62aa8f46505ebee87912ef10ce3 (patch) | |
| tree | 89002e3931ff3e1e704dc5e6cb227b7022f34d71 /src/CBPV/Frex/Comp.agda | |
Define syntax and equivalence.
Diffstat (limited to 'src/CBPV/Frex/Comp.agda')
0 files changed, 0 insertions, 0 deletions