repositories
/
mc1516pa.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
9754f5c
)
added agent
author
Mart Lubbers
<mart@martlubbers.net>
Mon, 7 Mar 2016 13:35:37 +0000
(14:35 +0100)
committer
Mart Lubbers
<mart@martlubbers.net>
Mon, 7 Mar 2016 13:35:37 +0000
(14:35 +0100)
code/Sokoban.dcl
patch
|
blob
|
history
diff --git
a/code/Sokoban.dcl
b/code/Sokoban.dcl
index
30e9465
..
32b5e11
100644
(file)
--- a/
code/Sokoban.dcl
+++ b/
code/Sokoban.dcl
@@
-4,6
+4,6
@@
definition module Sokoban
width :: Int,
height :: Int,
data :: [[SokobanTile]]}
-:: SokobanTile = Wall | Free | Box | Target
+:: SokobanTile = Wall | Free | Box | Target
| Agent
parse :: String *World -> (SokobanPuzzle, *World)