aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
authorEduardo Julian2022-06-30 22:53:23 -0400
committerEduardo Julian2022-06-30 22:53:23 -0400
commita8d76e48df01d0f5326faa8456797f91cb2cbeba (patch)
tree7a7a3d1e934a694e1cc4e3246dc21c2fe3093cf3 /stdlib/source/specification
parent565fe5a2e60ff3c6b612031d1c3bb89f330751da (diff)
Alternative names for (un)quoting macros.
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/lux/abstract/apply.lux5
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index fd4025b0b..9c29ed974 100644
--- a/stdlib/source/specification/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
@@ -2,7 +2,6 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" type]
[abstract
[monad (.only do)]]
[control
@@ -10,7 +9,9 @@
[math
["[0]" random (.only Random)]
[number
- ["n" nat]]]]]
+ ["n" nat]]]
+ [meta
+ ["[0]" type]]]]
[\\library
["[0]" / (.only Apply)]]
[//