diff options
author | Eduardo Julián | 2021-07-14 14:44:53 -0400 |
---|---|---|
committer | GitHub | 2021-07-14 14:44:53 -0400 |
commit | 89ca40f2f101b2b38187eab5cf905371cd47eb57 (patch) | |
tree | f05fd1677a70988c6b39c07e52d031d86eff28f1 /stdlib/source/test/aedifex/project.lux | |
parent | 2431e767a09894c2f685911ba7f1ba0b7de2a165 (diff) | |
parent | 8252bdb938a0284dd12e7365b4eb84b5357bacac (diff) |
Merge pull request #58 from LuxLang/hierarchy_normalization
Hierarchy normalization
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/project.lux | 35 |
1 files changed, 18 insertions, 17 deletions
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index d2c12109f..e1b4b051a 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -1,21 +1,22 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." monoid]]] - [control - ["." try ("#\." functor)] - ["." exception]] - [data - ["." product] - ["." text ("#\." equivalence)]] - [math - ["." random (#+ Random) ("#\." monad)] - [number - ["n" nat]]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." monoid]]] + [control + ["." try ("#\." functor)] + ["." exception]] + [data + ["." product] + ["." text ("#\." equivalence)]] + [math + ["." random (#+ Random) ("#\." monad)] + [number + ["n" nat]]]]] [// ["@." profile]] [\\program |