diff options
author | Jed Barber <jjbarber@y7mail.com> | 2012-09-27 00:14:22 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2012-09-27 00:14:22 +1000 |
commit | 5e13eb48b17a4a7440c3fc9de5d292b059eec16d (patch) | |
tree | a936f91a2cc343ce7d2b68554c15c24bf8f660c0 /Test/appterm.art | |
parent | 9b50b48c1cf532e0ad6b79b41718e210835afa66 (diff) |
The rest of the article files for testing specific commands
Diffstat (limited to 'Test/appterm.art')
-rw-r--r-- | Test/appterm.art | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/appterm.art b/Test/appterm.art index 42f0da9..3d566c0 100644 --- a/Test/appterm.art +++ b/Test/appterm.art @@ -1,4 +1,4 @@ -"name" +"f" const "->" typeOp @@ -15,7 +15,7 @@ cons cons opType constTerm -"name" +"x" const "bool" typeOp |