From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 7 Mar 2016 13:35:00 +0000 (+0100)
Subject: interface for sokoban
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=9754f5cfb7a38d480ecf72dc87d4c67cd774c9d7;p=mc1516pa.git

interface for sokoban
---

diff --git a/code/Sokoban.dcl b/code/Sokoban.dcl
new file mode 100644
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)