diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-07-07 21:52:27 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-07-07 21:52:27 +0100 |
| commit | 027d42676f98282b9d50f5c31118c7a868ca104b (patch) | |
| tree | ddda8920ae76495ebd7988b5ea2356251ac917fe /src/Data/Util.agda | |
| parent | e0a703c0428946ff5ea70f02287d5d89adbd5a9f (diff) | |
Prove alpha equivalence is symmetric.
Diffstat (limited to 'src/Data/Util.agda')
0 files changed, 0 insertions, 0 deletions