diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-05 17:09:25 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-05 17:09:25 -0600 |
| commit | 1c0a486856d80ad7d8cb6174c49ad990d5f36088 (patch) | |
| tree | 764a695b55dd3d3e2788e0a0d8fc2b6b9342842b /Data/Setoid.agda | |
| parent | 3386254cb6f5fc36c5cb18b7240edde3210a376c (diff) | |
Add non-setoid-based preorders
Diffstat (limited to 'Data/Setoid.agda')
0 files changed, 0 insertions, 0 deletions