From 9754f5cfb7a38d480ecf72dc87d4c67cd774c9d7 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 7 Mar 2016 14:35:00 +0100
Subject: [PATCH] interface for sokoban

---
 code/Sokoban.dcl | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 code/Sokoban.dcl

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)
-- 
2.20.1