diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-07-06 01:11:03 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-07-06 01:52:27 +0100 |
| commit | 07c4a784b46f6cfe47d1c37329051b4b5d459755 (patch) | |
| tree | 4e7956d5b70c70a0e0fdf16b1e7c76d131bd2037 /Everything.agda | |
| parent | 598d444c41db753e84dcaa920f484620cd375af7 (diff) | |
Simplify alpha equivalence.
Diffstat (limited to 'Everything.agda')
0 files changed, 0 insertions, 0 deletions