1 files changed, 15 insertions, 0 deletions
diff --git a/input/program.lux b/input/program.lux
new file mode 100644
index 000000000..4f329c3fa
--- /dev/null
+++ b/input/program.lux
@@ -0,0 +1,15 @@
+(;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'))))
+
+(_jvm_program args
+  (println "Hello, world!"))