diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2025-01-07 13:50:13 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2025-01-07 13:50:13 +0000 |
| commit | f2490f5ca35b528c7332791c6932045eb9d5438b (patch) | |
| tree | 9a4caa4715705dcc4965d4507213ce4ca29e0add /inky.ipkg | |
| parent | 0ecd9e608ced18f70f465c986d6519e8e95b0b6b (diff) | |
Add quotation to help metaprogramming.
Diffstat (limited to 'inky.ipkg')
| -rw-r--r-- | inky.ipkg | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -22,8 +22,6 @@ modules , Inky.Term.Pretty , Inky.Term.Pretty.Error , Inky.Term.Recompute - , Inky.Term.Substitution - , Inky.Term.Sugar , Inky.Type , Inky.Type.Pretty , Inky.Type.Substitution |