From 0ecd9e608ced18f70f465c986d6519e8e95b0b6b Mon Sep 17 00:00:00 2001 From: Greg Brown Date: Wed, 20 Nov 2024 15:31:25 +0000 Subject: Improve syntactic sugar. Sugar makes programs nicer to write. --- inky.ipkg | 1 + 1 file changed, 1 insertion(+) (limited to 'inky.ipkg') diff --git a/inky.ipkg b/inky.ipkg index bbd7aaa..493dea2 100644 --- a/inky.ipkg +++ b/inky.ipkg @@ -23,6 +23,7 @@ modules , Inky.Term.Pretty.Error , Inky.Term.Recompute , Inky.Term.Substitution + , Inky.Term.Sugar , Inky.Type , Inky.Type.Pretty , Inky.Type.Substitution -- cgit v1.2.3