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.

1 files changed, 1 insertions, 1 deletions

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