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 /Everything.agda | |
| parent | 07c4a784b46f6cfe47d1c37329051b4b5d459755 (diff) | |
Prove alpha equivalence preserves free variables.
Diffstat (limited to 'Everything.agda')
| -rw-r--r-- | Everything.agda | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Everything.agda b/Everything.agda index a2b808f..96119c6 100644 --- a/Everything.agda +++ b/Everything.agda @@ -2,4 +2,7 @@ module Everything where import Data.BinOp +import Data.List.Properties.Ext import Data.Type +import Data.Type.Properties +import Data.Util |