diff options
| author | krasimir <krasimir@chalmers.se> | 2010-10-13 13:47:22 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-10-13 13:47:22 +0000 |
| commit | 354838807fb633e241dc47dbd70b05ebf19d043e (patch) | |
| tree | f5e9733c71a62d9238993005c60fcbd695850d98 /examples/nqueens | |
| parent | 7fc638e0301c7ec6896e3c198e40952826446005 (diff) | |
use "-" and ";" instead of "_" and "\n" in NQueens
Diffstat (limited to 'examples/nqueens')
| -rw-r--r-- | examples/nqueens/NQueensAscii.gf | 2 | ||||
| -rw-r--r-- | examples/nqueens/NatAscii.gf | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/examples/nqueens/NQueensAscii.gf b/examples/nqueens/NQueensAscii.gf index fabcd3c64..261d28f7a 100644 --- a/examples/nqueens/NQueensAscii.gf +++ b/examples/nqueens/NQueensAscii.gf @@ -4,7 +4,7 @@ lincat Matrix, Vec = Str ; ListNat, Sat = {} ; lin nilV _ _ = "" ; - consV _ j k _ _ v = j ++ "X" ++ k ++ "\n" ++ v ; + consV _ j k _ _ v = j ++ "X" ++ k ++ ";" ++ v ; matrix _ v = v ; diff --git a/examples/nqueens/NatAscii.gf b/examples/nqueens/NatAscii.gf index 86ffa923f..bca73b48d 100644 --- a/examples/nqueens/NatAscii.gf +++ b/examples/nqueens/NatAscii.gf @@ -3,8 +3,8 @@ concrete NatAscii of Nat = { lincat Nat = Str ; lin zero = "" ; - succ n = "_" ++ n ; + succ n = "-" ++ n ; lincat NE = {} ; -}
\ No newline at end of file +} |