1 files changed, 26 insertions, 13 deletions
diff --git a/input/program.lux b/input/program.lux
index 4f329c3fa..6495854c1 100644
--- a/input/program.lux
+++ b/input/program.lux
@@ -1,15 +1,28 @@
-(;lux)
-
-(def (filter p xs)
-  (All [a] (-> (-> a Bool) (List a) (List a)))
-  (case xs
-    #;Nil
-    (list)
-
-    (#;Cons [x xs'])
-    (if (p x)
-      (list& x (filter p xs'))
-      (filter p xs'))))
+(;import lux
+         (lux (control monoid
+                       functor
+                       monad
+                       lazy
+                       comonad)
+              (data eq
+                    bounded
+                    ord
+                    io
+                    list
+                    state
+                    number
+                    (text #as t)
+                    dict
+                    show)
+              (codata (stream #refer (#except iterate)))
+              (meta lux
+                    macro
+                    syntax)))
 
 (_jvm_program args
-  (println "Hello, world!"))
+  (case args
+    #;Nil
+    (println "Hello, world!")
+    
+    (#;Cons [name _])
+    (println ($ text:++ "Hello, " name "!"))))