diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2023-06-30 18:34:49 +0100 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2023-06-30 18:34:49 +0100 |
| commit | 621f6221048213dc4d359581197988050af99d0d (patch) | |
| tree | 5e218ed3a641f4079b37b1143d7624f55535e568 /unify.ipkg | |
| parent | 9d595c4ad37b58385908dc46b3413aacc4f2e4b7 (diff) | |
Define thinning and thickening.
Diffstat (limited to 'unify.ipkg')
| -rw-r--r-- | unify.ipkg | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -7,5 +7,6 @@ options = "--total" depends = contrib modules - = Data.Maybe.Properties + = Data.Fin.Occurs + , Data.Maybe.Properties , Data.Term |