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)