| changeset 296 | 12dc251fc47e |
| parent 220 | 3020f8c76baa |
| 295:3f34da7a3094 | 296:12dc251fc47e |
|---|---|
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 = |