From 59d674d660b4e52ec54ef046024b850b4eeb7a0f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 28 Dec 2017 23:19:37 -0400
Subject: - A small, in-development module for doing constructive mathematics
 with something close to dependent types.

---
 stdlib/test/tests.lux | 1 +
 1 file changed, 1 insertion(+)

(limited to 'stdlib/test/tests.lux')

diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux
index b5dcf571a..e234b6b48 100644
--- a/stdlib/test/tests.lux
+++ b/stdlib/test/tests.lux
@@ -57,6 +57,7 @@
              ["_." math]
              (math ["_." random]
                    ["_." modular]
+                   ["_." constructive]
                    (logic ["_." continuous]
                           ["_." fuzzy]))
              (macro ["_." code]
-- 
cgit v1.2.3