module RobotEx1 where

import IRL
import RobotWorld


for :: Int -> Robot ()-> Robot ()
for n a = sequence_ (replicate n a)

spiral :: Robot ()
spiral = penDown >> loop 1 where
 loop n =
   let turnMove = do turnRight; for n move
   in  do for 2 turnMove
          cond_ (isnt blocked) (loop (n+1))

main :: IO ()
main = runRobot spiral s0 g0