- Removed the Lux source from the repo, as it now belongs to the lux/stdlib package.

- Removed de Apacke Commons Compress library, as Lux libraries will now be packaged as .jar files instead of as .tar.gz files.
- The compiler no longer packages libraries, as that task will now be left for the build system.

1 files changed, 0 insertions, 27 deletions

diff --git a/source/lux/codata/function.lux b/source/lux/codata/function.lux
deleted file mode 100644
index 1b7336049..000000000
--- a/source/lux/codata/function.lux
+++ /dev/null
@@ -1,27 +0,0 @@
-##  Copyright (c) Eduardo Julian. All rights reserved.
-##  This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
-##  If a copy of the MPL was not distributed with this file,
-##  You can obtain one at http://mozilla.org/MPL/2.0/.
-
-(;import lux
-         (lux/control (monoid #as m)))
-
-## [Functions]
-(def #export (const x y)
-  (All [a b] (-> a (-> b a)))
-  x)
-
-(def #export (flip f)
-  (All [a b c]
-    (-> (-> a b c) (-> b a c)))
-  (lambda [x y] (f y x)))
-
-(def #export (. f g)
-  (All [a b c]
-    (-> (-> b c) (-> a b) (-> a c)))
-  (lambda [x] (f (g x))))
-
-## [Structures]
-(defstruct #export Comp/Monoid (All [a] (m;Monoid (-> a a)))
-  (def unit id)
-  (def ++ .))