repositories
/
mc1516pa.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
32b5e110fee9a4498fbaa6e1be9a302e81f83c4b
[mc1516pa.git]
/
code
/
Sokoban.dcl
1
definition module Sokoban
2
3
:: SokobanPuzzle = {
4
width :: Int,
5
height :: Int,
6
data :: [[SokobanTile]]}
7
:: SokobanTile = Wall | Free | Box | Target | Agent
8
9
parse :: String *World -> (SokobanPuzzle, *World)