From a8d76e48df01d0f5326faa8456797f91cb2cbeba Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 30 Jun 2022 22:53:23 -0400
Subject: Alternative names for (un)quoting macros.

---
 stdlib/source/specification/lux/abstract/apply.lux | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'stdlib/source/specification')

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)]]
  [//
-- 
cgit v1.2.3