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/translation/jvm/function.lux | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/translation/jvm/function.lux')

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
index 0fe7717fb..6c03bd482 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
@@ -10,11 +10,12 @@
     ["." product]
     [text
      ["%" format (#+ format)]]
-    [number
-     ["n" nat]
-     ["i" int]]
     [collection
      ["." list ("#@." functor monoid)]]]
+   [math
+    [number
+     ["n" nat]
+     ["i" int]]]
    [target
     [jvm
      ["." type (#+ Type)
-- 
cgit v1.2.3