1 files changed, 0 insertions, 56 deletions
diff --git a/source/program.lux b/source/program.lux
deleted file mode 100644
index f013655bc..000000000
--- a/source/program.lux
+++ /dev/null
@@ -1,56 +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)
-                       functor
-                       monad
-                       comonad
-                       bounded
-                       eq
-                       hash
-                       (ord #as O)
-                       (show #as S)
-                       number
-                       enum)
-              (data bool
-                    char
-                    (either #as e)
-                    id
-                    list
-                    maybe
-                    (number (int #refer (#only) #open ("i:" Int/Show))
-                            (real #refer (#only)))
-                    (text #refer (#only <>) #open ("text:" Text/Monoid))
-                    (writer #refer (#only))
-                    (tuple #refer (#only))
-                    )
-              (codata (stream #as s)
-                      (lazy #refer (#only))
-                      (function #refer (#only))
-                      (reader #as r)
-                      (state #refer (#only))
-                      io)
-              (host jvm
-                    io)
-              (meta ast
-                    lux
-                    syntax
-                    type)
-              math
-              ))
-
-(program args
-  (case args
-    (\ (@list name))
-    (write-line (<> "Hello, #{name}!"))
-
-    _
-    (do IO/Monad
-      [_ (write "Please, tell me your name: ")
-       name' read-line
-       #let [name (? "???" name')]]
-      (write-line (<> "Hello, #{name}!")))
-    ))