1 files changed, 31 insertions, 0 deletions
diff --git a/benchmark.bruijn b/benchmark.bruijn
new file mode 100644
index 0000000..e11668f
--- /dev/null
+++ b/benchmark.bruijn
@@ -0,0 +1,31 @@
+# ==================
+# Lennart
+# From Lambda-n-ways
+# ==================
+
+true [[0]]
+false [[1]]
+if [[[2 0 1]]]
+zero [[1]]
+succ [[[0 2]]]
+one succ zero
+two succ one
+three succ two
+const [[1]]
+pair [[[0 2 1]]]
+fst [[1 0 [[1]]]]
+snd [[1 0 [[0]]]]
+fix [[1 (0 0)] [1 (0 0)]]
+add fix [[[1 0 [succ (3 0 1)]]]]
+mul fix [[[1 zero [add 1 (3 0 1)]]]]
+fac fix [[0 one [mul 1 (2 0)]]]
+eqnat fix [[[1 (0 true (const false)) [1 false [4 1 0]]]]]
+sumto fix [[0 zero [add 1 (2 0)]]]
+n5 add two three
+n6 add three three
+n17 add n6 (add n6 n5)
+n37 succ (mul n6 n6)
+n703 sumto n37
+n720 fac n6
+
+main eqnat n720 (add n703 n17) = true