diff options
Diffstat (limited to 'Test')
| -rw-r--r-- | Test/absterm.art | 13 | ||||
| -rw-r--r-- | Test/absthm.art | 14 | ||||
| -rw-r--r-- | Test/appterm.art | 25 | ||||
| -rw-r--r-- | Test/assume.art | 8 | ||||
| -rw-r--r-- | Test/axiom.art | 9 | ||||
| -rw-r--r-- | Test/cons.art | 4 | ||||
| -rw-r--r-- | Test/const.art | 2 | ||||
| -rw-r--r-- | Test/constterm.art | 7 | ||||
| -rw-r--r-- | Test/def.art | 6 | ||||
| -rw-r--r-- | Test/name.art | 1 | ||||
| -rw-r--r-- | Test/name2.art | 1 | ||||
| -rw-r--r-- | Test/nil.art | 1 | ||||
| -rw-r--r-- | Test/number.art | 1 | ||||
| -rw-r--r-- | Test/opType.art | 4 | ||||
| -rw-r--r-- | Test/pop.art | 2 | ||||
| -rw-r--r-- | Test/ref.art | 8 | ||||
| -rw-r--r-- | Test/refl.art | 6 | ||||
| -rw-r--r-- | Test/remove.art | 8 | ||||
| -rw-r--r-- | Test/timer.sh | 6 | ||||
| -rw-r--r-- | Test/typeop.art | 2 | ||||
| -rw-r--r-- | Test/var.art | 4 | ||||
| -rw-r--r-- | Test/varterm.art | 5 | ||||
| -rw-r--r-- | Test/vartype.art | 2 |
23 files changed, 139 insertions, 0 deletions
diff --git a/Test/absterm.art b/Test/absterm.art new file mode 100644 index 0000000..d68ddc6 --- /dev/null +++ b/Test/absterm.art @@ -0,0 +1,13 @@ +"bool" +"bool" +varType +var +varTerm +"bool" +const +"bool" +typeOp +nil +opType +constTerm +absTerm diff --git a/Test/absthm.art b/Test/absthm.art new file mode 100644 index 0000000..6fd12ba --- /dev/null +++ b/Test/absthm.art @@ -0,0 +1,14 @@ +"bool" +"bool" +var +varType +varTerm +"bool" +const +"bool" +typeOp +nil +opType +constTerm +refl +absThm diff --git a/Test/appterm.art b/Test/appterm.art new file mode 100644 index 0000000..42f0da9 --- /dev/null +++ b/Test/appterm.art @@ -0,0 +1,25 @@ +"name" +const +"->" +typeOp +"bool" +typeOp +nil +opType +1 +def +1 +remove +nil +cons +cons +opType +constTerm +"name" +const +"bool" +typeOp +nil +opType +constTerm +appTerm diff --git a/Test/assume.art b/Test/assume.art new file mode 100644 index 0000000..ef47474 --- /dev/null +++ b/Test/assume.art @@ -0,0 +1,8 @@ +"bool" +const +"bool" +typeOp +nil +opType +constTerm +assume 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 diff --git a/Test/cons.art b/Test/cons.art new file mode 100644 index 0000000..b2c48b9 --- /dev/null +++ b/Test/cons.art @@ -0,0 +1,4 @@ +"bool" +typeOp +nil +cons diff --git a/Test/const.art b/Test/const.art new file mode 100644 index 0000000..8a94755 --- /dev/null +++ b/Test/const.art @@ -0,0 +1,2 @@ +"name" +const diff --git a/Test/constterm.art b/Test/constterm.art new file mode 100644 index 0000000..ac94e2b --- /dev/null +++ b/Test/constterm.art @@ -0,0 +1,7 @@ +"bool" +const +"bool" +typeOp +nil +opType +constTerm diff --git a/Test/def.art b/Test/def.art new file mode 100644 index 0000000..18cad67 --- /dev/null +++ b/Test/def.art @@ -0,0 +1,6 @@ +"bool" +typeOp +nil +opType +1 +def diff --git a/Test/name.art b/Test/name.art new file mode 100644 index 0000000..7cc35dd --- /dev/null +++ b/Test/name.art @@ -0,0 +1 @@ +"name" diff --git a/Test/name2.art b/Test/name2.art new file mode 100644 index 0000000..a439e52 --- /dev/null +++ b/Test/name2.art @@ -0,0 +1 @@ +"->" diff --git a/Test/nil.art b/Test/nil.art new file mode 100644 index 0000000..607602c --- /dev/null +++ b/Test/nil.art @@ -0,0 +1 @@ +nil diff --git a/Test/number.art b/Test/number.art new file mode 100644 index 0000000..f599e28 --- /dev/null +++ b/Test/number.art @@ -0,0 +1 @@ +10 diff --git a/Test/opType.art b/Test/opType.art new file mode 100644 index 0000000..237dbd6 --- /dev/null +++ b/Test/opType.art @@ -0,0 +1,4 @@ +"name" +typeOp +nil +opType diff --git a/Test/pop.art b/Test/pop.art new file mode 100644 index 0000000..e111fc2 --- /dev/null +++ b/Test/pop.art @@ -0,0 +1,2 @@ +nil +pop diff --git a/Test/ref.art b/Test/ref.art new file mode 100644 index 0000000..acd59ea --- /dev/null +++ b/Test/ref.art @@ -0,0 +1,8 @@ +"bool" +typeOp +nil +opType +1 +def +1 +ref 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 diff --git a/Test/remove.art b/Test/remove.art new file mode 100644 index 0000000..88cadad --- /dev/null +++ b/Test/remove.art @@ -0,0 +1,8 @@ +"bool" +typeOp +nil +opType +1 +def +1 +remove diff --git a/Test/timer.sh b/Test/timer.sh new file mode 100644 index 0000000..637b80a --- /dev/null +++ b/Test/timer.sh @@ -0,0 +1,6 @@ +#!/bin/bash + +for i in (1..1000) +do + $1 $2 +done diff --git a/Test/typeop.art b/Test/typeop.art new file mode 100644 index 0000000..6b85dd7 --- /dev/null +++ b/Test/typeop.art @@ -0,0 +1,2 @@ +"bool" +typeOp diff --git a/Test/var.art b/Test/var.art new file mode 100644 index 0000000..4c915e7 --- /dev/null +++ b/Test/var.art @@ -0,0 +1,4 @@ +"bool" +"bool" +varType +var diff --git a/Test/varterm.art b/Test/varterm.art new file mode 100644 index 0000000..5bbc768 --- /dev/null +++ b/Test/varterm.art @@ -0,0 +1,5 @@ +"bool" +"bool" +varType +var +varTerm diff --git a/Test/vartype.art b/Test/vartype.art new file mode 100644 index 0000000..72e6b3c --- /dev/null +++ b/Test/vartype.art @@ -0,0 +1,2 @@ +"bool" +varType |