diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-09-19 17:15:12 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-09-19 17:15:12 +0100 |
| commit | 50f12f6f2d4eb3a79263886fde107272e75b3975 (patch) | |
| tree | cf266aab6b95dcab232103eea5f9ea71d19f997a /src/Data/List/Relation/Binary/Prefix.agda | |
Initial commit.
Diffstat (limited to 'src/Data/List/Relation/Binary/Prefix.agda')
0 files changed, 0 insertions, 0 deletions