| changeset 296 | 4e5bc75cdbd3 |
| parent 220 | 1c47cede8e71 |
| 295:bfbc7dd3e35c | 296:4e5bc75cdbd3 |
|---|---|
1 import CW8a._ |
|
2 |
|
1 |
3 |
2 //type Pos = (Int, Int) // a position on a chessboard |
4 //type Pos = (Int, Int) // a position on a chessboard |
3 //type Path = List[Pos] // a path...a list of positions |
5 //type Path = List[Pos] // a path...a list of positions |
4 |
6 |
5 def add_pair_urban(x: Pos)(y: Pos): Pos = |
7 def add_pair_urban(x: Pos)(y: Pos): Pos = |