diff options
| author | Eduardo Julian | 2022-07-06 17:11:35 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-06 17:11:35 -0400 |
| commit | f7880ce83ba82ada2d04a0c587448446e677d458 (patch) | |
| tree | 0cdd43e40933906bae8c87681095284e4274d3c6 /stdlib/source/program/aedifex/artifact/time/date.lux | |
| parent | 5270f301eba5237feebc8eca14aee6b7a992a819 (diff) | |
Moved "lux/time" to "lux/world/time".
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/time/date.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time/date.lux | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux index 5cdbd0d1d..84e33836a 100644 --- a/stdlib/source/program/aedifex/artifact/time/date.lux +++ b/stdlib/source/program/aedifex/artifact/time/date.lux @@ -16,12 +16,14 @@ [number ["n" nat] ["i" int]]] - [time - ["[0]" date (.use "[1]#[0]" equivalence)] - ["[0]" year] - ["[0]" month]] - [type - [primitive (.except)]]]]) + [meta + [type + [primitive (.except)]]] + [world + [time + ["[0]" date (.use "[1]#[0]" equivalence)] + ["[0]" year] + ["[0]" month]]]]]) (def .public (pad value) (-> Nat Text) |