summaryrefslogtreecommitdiff
path: root/Test/betaconv.art
diff options
context:
space:
mode:
Diffstat (limited to 'Test/betaconv.art')
-rw-r--r--Test/betaconv.art21
1 files changed, 0 insertions, 21 deletions
diff --git a/Test/betaconv.art b/Test/betaconv.art
deleted file mode 100644
index f0d051c..0000000
--- a/Test/betaconv.art
+++ /dev/null
@@ -1,21 +0,0 @@
-"x"
-"bool"
-typeOp
-nil
-opType
-1
-def
-var
-"c"
-const
-1
-ref
-constTerm
-absTerm
-"a"
-const
-1
-remove
-constTerm
-appTerm
-betaConv