From 658ff3e1e7d90ce72c8a02ef4cf7e177d8ac6f86 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Jul 2015 21:04:56 -0400
Subject: - Added the beginnings of the standard library. - Fixed several bugs.

---
 input/program.lux | 39 ++++++++++++++++++++++++++-------------
 1 file changed, 26 insertions(+), 13 deletions(-)

(limited to 'input/program.lux')

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 "!"))))
-- 
cgit v1.2.3