interface for sokoban
authorMart Lubbers <mart@martlubbers.net>
Mon, 7 Mar 2016 13:35:00 +0000 (14:35 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 7 Mar 2016 13:35:00 +0000 (14:35 +0100)
code/Sokoban.dcl [new file with mode: 0644]

diff --git a/code/Sokoban.dcl b/code/Sokoban.dcl
new file mode 100644 (file)
index 0000000..30e9465
--- /dev/null
@@ -0,0 +1,9 @@
+definition module Sokoban
+
+:: SokobanPuzzle = {
+       width :: Int,
+       height :: Int,
+       data :: [[SokobanTile]]}
+:: SokobanTile = Wall | Free | Box | Target
+
+parse :: String *World -> (SokobanPuzzle, *World)