aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor/generation/reference.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/compositor/generation/reference.lux')
-rw-r--r--stdlib/source/specification/compositor/generation/reference.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index f8f68c51e..c7ba5c2bf 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -19,12 +19,12 @@
[///
[common (.only Runner Definer)]])
-(def: symbol
+(def symbol
(Random Symbol)
(let [symbol_part (r.upper_case_alpha 5)]
[(r.and symbol_part symbol_part)]))
-(def: (definition define)
+(def (definition define)
(-> Definer Test)
(do r.monad
[name ..symbol
@@ -38,7 +38,7 @@
{try.#Failure _}
false)))))
-(def: (variable run)
+(def (variable run)
(-> Runner Test)
(do [! r.monad]
[register (|> r.nat (at ! each (n.% 100)))
@@ -55,7 +55,7 @@
{try.#Failure _}
false)))))
-(def: .public (spec runner definer)
+(def .public (spec runner definer)
(-> Runner Definer Test)
(all _.and
(..definition definer)