386
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1 |
import CW9a._
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
2 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
3 |
assert(is_legal(8, Nil, (3, 4)) == true)
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
4 |
assert(is_legal(8, List((4, 1), (1, 0)), (4, 1)) == false)
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
5 |
assert(is_legal(2, Nil, (0, 0)) == true)
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
6 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
7 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
8 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
9 |
|