aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/cli.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-06-16 00:48:19 -0400
committerEduardo Julian2022-06-16 00:48:19 -0400
commit9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch)
tree115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/program/aedifex/cli.lux
parentf92c806ee8da63f04bbefbf558f6249bacdb47ea (diff)
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to 'stdlib/source/program/aedifex/cli.lux')
-rw-r--r--stdlib/source/program/aedifex/cli.lux14
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/program/aedifex/cli.lux b/stdlib/source/program/aedifex/cli.lux
index 25ab8be02..c717313cd 100644
--- a/stdlib/source/program/aedifex/cli.lux
+++ b/stdlib/source/program/aedifex/cli.lux
@@ -21,18 +21,18 @@
{#Build}
{#Test}))
-(def: any_equivalence
+(def any_equivalence
(Equivalence Any)
(implementation
- (def: (= reference subject)
+ (def (= reference subject)
true)))
-(def: compilation_equivalence
+(def compilation_equivalence
(Equivalence Compilation)
(sum.equivalence ..any_equivalence
..any_equivalence))
-(def: compilation
+(def compilation
(Parser Compilation)
(<>.or (cli.this "build")
(cli.this "test")))
@@ -48,7 +48,7 @@
{#Compilation Compilation}
{#Auto Compilation}))
-(def: .public equivalence
+(def .public equivalence
(Equivalence Command)
(all sum.equivalence
... #Version
@@ -71,7 +71,7 @@
... #Auto
..compilation_equivalence))
-(def: command'
+(def command'
(Parser Command)
(all <>.or
(cli.this "version")
@@ -88,7 +88,7 @@
..compilation)
))
-(def: .public command
+(def .public command
(Parser [(List Name) Command])
(<>.rec
(function (_ command)