diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-07-07 17:53:24 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-07-07 17:53:24 +0100 |
| commit | 2147acd780ca4586a4fd7b045eb92611cdbb13a0 (patch) | |
| tree | 7a07f466a44b028fc506a636e134f60e420b65e6 /.gitignore | |
| parent | 07c4a784b46f6cfe47d1c37329051b4b5d459755 (diff) | |
Prove alpha equivalence preserves free variables.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions