diff options
| author | Eduardo Julian | 2022-06-30 22:53:23 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-30 22:53:23 -0400 |
| commit | a8d76e48df01d0f5326faa8456797f91cb2cbeba (patch) | |
| tree | 7a7a3d1e934a694e1cc4e3246dc21c2fe3093cf3 /stdlib/source/specification | |
| parent | 565fe5a2e60ff3c6b612031d1c3bb89f330751da (diff) | |
Alternative names for (un)quoting macros.
Diffstat (limited to 'stdlib/source/specification')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/apply.lux | 5 |
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)]] [// |