repositories
/
mc1516pa.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
35ed2df
)
interface for sokoban
author
Mart Lubbers
<mart@martlubbers.net>
Mon, 7 Mar 2016 13:35:00 +0000
(14:35 +0100)
committer
Mart Lubbers
<mart@martlubbers.net>
Mon, 7 Mar 2016 13:35:00 +0000
(14:35 +0100)
code/Sokoban.dcl
[new file with mode: 0644]
patch
|
blob
diff --git a/code/Sokoban.dcl
b/code/Sokoban.dcl
new file mode 100644
(file)
index 0000000..
30e9465
--- /dev/null
+++ b/
code/Sokoban.dcl
@@ -0,0
+1,9
@@
+definition module Sokoban
+
+:: SokobanPuzzle = {
+ width :: Int,
+ height :: Int,
+ data :: [[SokobanTile]]}
+:: SokobanTile = Wall | Free | Box | Target
+
+parse :: String *World -> (SokobanPuzzle, *World)