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 '')
| -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] |