From 8b326bb4a879be72cb6382519350cbb5231f7a6e Mon Sep 17 00:00:00 2001 From: Greg Brown Date: Wed, 9 Oct 2024 16:26:23 +0100 Subject: Do a lot. - Add type aliases. - Make `suc` a symbol. - Fix incorrect specification for `IsFunction`. - Write parser for terms. - Use `collie` to improve command line experience. --- inky.ipkg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'inky.ipkg') diff --git a/inky.ipkg b/inky.ipkg index 2301466..8a86c56 100644 --- a/inky.ipkg +++ b/inky.ipkg @@ -4,7 +4,7 @@ sourcedir = "src" options = "--total" -depends = contrib +depends = collie, contrib executable = inky main = Inky -- cgit v1.2.3