1 files changed, 18 insertions, 0 deletions
diff --git a/proof.icl b/proof.icl
new file mode 100644
index 0000000..3ea9b1a
--- /dev/null
+++ b/proof.icl
@@ -0,0 +1,18 @@
+module proof
+
+import StdEnv, StdDebug
+
+from Data.Func import $
+import Data.Maybe
+
+import Smurf, SmurfParse
+
+Start = toString (devtree ass) +++ "\n"
+where
+	ass (pgm, ip, st)
+		| pgm == [Tail,Tail] && st.stack == [Lit "bcd"]
+			= Just ([], [], {st & stack=[Lit "d"]})
+		= Nothing
+	pgm = fromJust $ parse ['ittt']
+	devtree ass
+		= fromJust (prover ass pgm zero { zero & input = [Lit "abcd"] } listIO)