Closed AndreVanDelft closed 10 years ago
Tests are specified on lines such as , [a;b] -> "a;b" -> "->a a->b ab" The first string on such lines are superfluous; the information should be taken from the closure [a,b].
Tests are specified on lines such as , [a;b] -> "a;b" -> "->a a->b ab" The first string on such lines are superfluous; the information should be taken from the closure [a,b].