From fd3152f29c8d8e9cc134423da18fb828ba20ebcc Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 2 Nov 2020 20:54:09 -0400 Subject: Added CoMonad for CoFree. --- stdlib/source/program/aedifex/cli.lux | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'stdlib/source/program/aedifex/cli.lux') diff --git a/stdlib/source/program/aedifex/cli.lux b/stdlib/source/program/aedifex/cli.lux index 666e5a701..9d73f9181 100644 --- a/stdlib/source/program/aedifex/cli.lux +++ b/stdlib/source/program/aedifex/cli.lux @@ -32,6 +32,7 @@ (cli.this "test"))) (type: #export Command + #Clean #POM #Dependencies #Install @@ -42,6 +43,8 @@ (def: #export equivalence (Equivalence Command) ($_ equivalence.sum + ## #Clean + ..any-equivalence ## #POM ..any-equivalence ## #Dependencies @@ -61,6 +64,7 @@ (def: command' (Parser Command) ($_ <>.or + (cli.this "clean") (cli.this "pom") (cli.this "deps") (cli.this "install") -- cgit v1.2.3