diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-03-09 20:59:16 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-03-09 20:59:16 -0600 |
| commit | 5e704f08d1f70e12e4da1f0ed359dd2495852e5f (patch) | |
| tree | 099b1dd1bbf5924d6dc0132c860e0fdc7afdbeb3 /Util.agda | |
| parent | 1fae89c1c06a9a4d6143cafa1afb932b94cc4b71 (diff) | |
Factor out comparison
Diffstat (limited to 'Util.agda')
0 files changed, 0 insertions, 0 deletions