aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/macro/syntax/input.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/macro/syntax/input.lux')
-rw-r--r--stdlib/source/library/lux/macro/syntax/input.lux6
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/macro/syntax/input.lux b/stdlib/source/library/lux/macro/syntax/input.lux
index bdac8cad3..bc6622bc6 100644
--- a/stdlib/source/library/lux/macro/syntax/input.lux
+++ b/stdlib/source/library/lux/macro/syntax/input.lux
@@ -18,14 +18,14 @@
[#binding Code
#type Code]))
-(def: .public equivalence
+(def .public equivalence
(Equivalence Input)
(all product.equivalence
code.equivalence
code.equivalence
))
-(def: .public format
+(def .public format
(-> (List Input) Code)
(|>> (list#each (function (_ value)
(list (the #binding value)
@@ -33,7 +33,7 @@
list#conjoint
code.tuple))
-(def: .public parser
+(def .public parser
(Parser (List Input))
(<| <code>.tuple
<>.some