From 519c0c0c71cdf7ce3dfc64b9781ab826760b3d94 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 14 Jun 2021 18:33:54 -0400 Subject: Extracted Licentia out of the standard library. --- stdlib/source/program/licentia/license/time.lux | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 stdlib/source/program/licentia/license/time.lux (limited to 'stdlib/source/program/licentia/license/time.lux') 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}) -- cgit v1.2.3