diff options
Diffstat (limited to 'LogicTest.icl')
| -rw-r--r-- | LogicTest.icl | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/LogicTest.icl b/LogicTest.icl index 69adc8a..4122b92 100644 --- a/LogicTest.icl +++ b/LogicTest.icl @@ -30,4 +30,11 @@ e17 = App2 (Atom 'p') Equiv (App2 (Atom 'q') Equiv (Atom 'r')) exprs_assoc = [e10,e11,e12,e13,e14,e15,e16,e17] -Start = map toString exprs_assoc +//Start = map all_atom_options exprs_rand +//Start = toString (all_atom_options e4) +//Start = substitute ('q',True) e8 + +table = { exprs = exprs_rand ++ exprs_assoc, + options = all_atom_options e4 } + +Start = toString table |