diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2025-03-07 17:21:52 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2025-03-13 13:21:06 +0000 |
| commit | 1ebeb5fd02ed86c2743e15c5b3ca2a489346db4d (patch) | |
| tree | f88834cd7b029343a1ad4a5969258e4022fdd00d /inky.ipkg | |
| parent | f5b75edd91389f0a45045b707abfa36c746e8d54 (diff) | |
Make `foldcase` syntactic sugar.
Diffstat (limited to 'inky.ipkg')
| -rw-r--r-- | inky.ipkg | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -22,6 +22,7 @@ modules , Inky.Term.Pretty , Inky.Term.Pretty.Error , Inky.Term.Recompute + , Inky.Term.Rename , Inky.Type , Inky.Type.Pretty , Inky.Type.Substitution |