From 02d27daeacac74785c2b0f4d1ce03d432377a36e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 29 Dec 2020 23:29:54 -0400
Subject: Unified repository abstraction for Aedifex.

---
 lux-jvm/source/luxc/lang/host/jvm/def.lux  |  5 +++--
 lux-jvm/source/luxc/lang/host/jvm/inst.lux | 11 ++++++-----
 2 files changed, 9 insertions(+), 7 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/host')

diff --git a/lux-jvm/source/luxc/lang/host/jvm/def.lux b/lux-jvm/source/luxc/lang/host/jvm/def.lux
index 12e2fe412..212d9d854 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/def.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/def.lux
@@ -5,13 +5,14 @@
     ["." function]]
    [data
     ["." product]
-    [number
-     ["i" int]]
     ["." text
      ["%" format (#+ format)]]
     [collection
      ["." array (#+ Array)]
      ["." list ("#@." functor)]]]
+   [math
+    [number
+     ["i" int]]]
    [target
     [jvm
      [encoding
diff --git a/lux-jvm/source/luxc/lang/host/jvm/inst.lux b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
index 341ded0e4..1f9e93c71 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/inst.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
@@ -11,15 +11,16 @@
    [data
     ["." product]
     ["." maybe]
-    [number
-     ["n" nat]
-     ["i" int]]
     [collection
      ["." list ("#@." functor)]]]
    [macro
+    [syntax (#+ syntax:)]
     ["." code]
-    ["." template]
-    [syntax (#+ syntax:)]]
+    ["." template]]
+   [math
+    [number
+     ["n" nat]
+     ["i" int]]]
    [target
     [jvm
      [encoding
-- 
cgit v1.2.3