diff options
author | Jed Barber <jjbarber@y7mail.com> | 2012-09-14 10:13:16 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2012-09-14 10:13:16 +1000 |
commit | fac3f7ebeff93f427b768a55585b434ac74072ad (patch) | |
tree | 2f41fb080e64db4912c9aca9b356e9295b5a7eb3 /Test/axiom.art | |
parent | 84f2ee4a7653b47c4ddefd87c4482729d0272e6b (diff) |
Test article files for specific commands
Diffstat (limited to 'Test/axiom.art')
-rw-r--r-- | Test/axiom.art | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Test/axiom.art b/Test/axiom.art new file mode 100644 index 0000000..bcf79bf --- /dev/null +++ b/Test/axiom.art @@ -0,0 +1,9 @@ +nil +"name" +const +"bool" +typeOp +nil +opType +constTerm +axiom |