diff options
Diffstat (limited to 'test/appterm.art')
-rw-r--r-- | test/appterm.art | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/test/appterm.art b/test/appterm.art index 3d566c0..5e5763f 100644 --- a/test/appterm.art +++ b/test/appterm.art @@ -1,25 +1,25 @@ -"f" -const -"->" -typeOp -"bool" -typeOp -nil -opType -1 -def -1 -remove -nil -cons -cons -opType -constTerm -"x" -const -"bool" -typeOp -nil -opType -constTerm -appTerm +"f"
+const
+"->"
+typeOp
+"bool"
+typeOp
+nil
+opType
+1
+def
+1
+remove
+nil
+cons
+cons
+opType
+constTerm
+"x"
+const
+"bool"
+typeOp
+nil
+opType
+constTerm
+appTerm
|