aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/metadata/artifact.lux
diff options
context:
space:
mode:
authorEduardo Julián2021-07-14 14:44:53 -0400
committerGitHub2021-07-14 14:44:53 -0400
commit89ca40f2f101b2b38187eab5cf905371cd47eb57 (patch)
treef05fd1677a70988c6b39c07e52d031d86eff28f1 /stdlib/source/program/aedifex/metadata/artifact.lux
parent2431e767a09894c2f685911ba7f1ba0b7de2a165 (diff)
parent8252bdb938a0284dd12e7365b4eb84b5357bacac (diff)
Merge pull request #58 from LuxLang/hierarchy_normalization
Hierarchy normalization
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/aedifex/metadata/artifact.lux67
1 files changed, 34 insertions, 33 deletions
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index 50f228e50..0f8a5737c 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -1,37 +1,38 @@
(.module:
- [lux (#- Name)
- [abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]]
- [control
- [pipe (#+ do>)]
- ["." try (#+ Try)]
- ["<>" parser
- ["<.>" xml (#+ Parser)]
- ["<.>" text]]
- [concurrency
- ["." promise (#+ Promise)]]]
- [data
- ["." product]
- ["." text
- ["%" format]
- [encoding
- ["." utf8]]]
- [format
- ["." xml (#+ XML)]]
- [collection
- ["." list ("#\." functor)]]]
- [math
- [number
- ["n" nat]]]
- ["." time (#+ Time)
- ["." instant (#+ Instant)]
- ["." date (#+ Date)]
- ["." year]
- ["." month]]
- [world
- [net
- ["." uri (#+ URI)]]]]
+ [library
+ [lux (#- Name)
+ [abstract
+ [monad (#+ do)]
+ [equivalence (#+ Equivalence)]]
+ [control
+ [pipe (#+ do>)]
+ ["." try (#+ Try)]
+ ["<>" parser
+ ["<.>" xml (#+ Parser)]
+ ["<.>" text]]
+ [concurrency
+ ["." promise (#+ Promise)]]]
+ [data
+ ["." product]
+ ["." text
+ ["%" format]
+ [encoding
+ ["." utf8]]]
+ [format
+ ["." xml (#+ XML)]]
+ [collection
+ ["." list ("#\." functor)]]]
+ [math
+ [number
+ ["n" nat]]]
+ ["." time (#+ Time)
+ ["." instant (#+ Instant)]
+ ["." date (#+ Date)]
+ ["." year]
+ ["." month]]
+ [world
+ [net
+ ["." uri (#+ URI)]]]]]
["." //
["/#" // #_
[repository (#+ Repository)]