diff options
author | Eduardo Julian | 2017-12-28 23:19:37 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-12-28 23:19:37 -0400 |
commit | 59d674d660b4e52ec54ef046024b850b4eeb7a0f (patch) | |
tree | 7a870b0adea8003003309c7e55198c3f448cc59b /stdlib/test/tests.lux | |
parent | bcb247513c80d321fcdd20e655b666a97269c54e (diff) |
- A small, in-development module for doing constructive mathematics with something close to dependent types.
Diffstat (limited to 'stdlib/test/tests.lux')
-rw-r--r-- | stdlib/test/tests.lux | 1 |
1 files changed, 1 insertions, 0 deletions
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] |