diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-07 17:50:13 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-07 17:50:13 +0100 |
| commit | ea4c4a98486f57f09d634318676cca84f3046568 (patch) | |
| tree | b2d06ca62506887479e6f7b35a1ba7748a2e2598 /src/Core/Term/Substitution.idr | |
| parent | 4943ffb49405127ec3e8505c398b007dcd661dd0 (diff) | |
Prove some (non-)identity properties.
Diffstat (limited to 'src/Core/Term/Substitution.idr')
0 files changed, 0 insertions, 0 deletions