diff options
| author | Eduardo Julian | 2021-06-14 18:33:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-06-14 18:33:54 -0400 |
| commit | 519c0c0c71cdf7ce3dfc64b9781ab826760b3d94 (patch) | |
| tree | 75fa0672afceff129e5e75afb7a5fed197ce1773 /stdlib/source/program/licentia/license/time.lux | |
| parent | af3e6e2cb011dc2ad9204440990731a2f272716d (diff) | |
Extracted Licentia out of the standard library.
Diffstat (limited to 'stdlib/source/program/licentia/license/time.lux')
| -rw-r--r-- | stdlib/source/program/licentia/license/time.lux | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/stdlib/source/program/licentia/license/time.lux b/stdlib/source/program/licentia/license/time.lux deleted file mode 100644 index 22f28f607..000000000 --- a/stdlib/source/program/licentia/license/time.lux +++ /dev/null @@ -1,15 +0,0 @@ -(.module: - [lux #*]) - -(type: #export Days - Nat) - -(type: #export Months - Nat) - -(type: #export Year - Nat) - -(type: #export (Period a) - {#start a - #end a}) |