diff options
Diffstat (limited to 'test/refl.art')
| -rw-r--r-- | test/refl.art | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/refl.art b/test/refl.art new file mode 100644 index 0000000..418ac89 --- /dev/null +++ b/test/refl.art @@ -0,0 +1,6 @@ +"bool" +"bool" +varType +var +varTerm +refl |