jrvieira/nove - Change V2W6DX4MIMIGH3LDIHD3VLKF7POSBGCKQEWNWO5GK2SI2WP2NPRAC

vs

Created by jrvieira on April 13, 2026

V2W6DX4MIMIGH3LDIHD3VLKF7POSBGCKQEWNWO5GK2SI2WP2NPRAC

Dependencies

In channels

main

Change contents

Deletion in test/Demo.hs at line 68 [3.135]
B:BD[3.1465] → [2.1348:1415]
```
-- units = replicate 4 Wall <> replicate 6 Box <> replicate 6 Ball
```

Replacement in test/Demo.hs at line 73 [3.135]

B:BD[3.1513] → [2.1471:1549]

data Unit = None | Wall | Box | Ball | Robot { name :: String , ops :: [Op] }

[3.1513]

[3.1628]

data Unit = None | Wall | Box | Robot { name :: String , ops :: [Op] }

Replacement in test/Demo.hs at line 207 [3.135]

B:BD[4.1045] → [4.1045:1270]

      | Dumb <- mode s , None     <- a = '.'
      | Dumb <- mode s , Wall     <- a = '#'
      | Dumb <- mode s , Box {}   <- a = 'x'
      | Dumb <- mode s , Ball {}  <- a = 'o'
      | Dumb <- mode s , Robot {} <- a = '@'

[4.1045]

[4.1270]

      | None     <- a , Dumb <- mode s = '.'
      | None     <- a , Full <- mode s = '∙'

Replacement in test/Demo.hs at line 210 [3.135]

B:BD[4.1271] → [4.1271:1498]

      | Full <- mode s , None     <- a = '∙'
      | Full <- mode s , Wall     <- a = '#'
      | Full <- mode s , Box {}   <- a = 'x'
      | Full <- mode s , Ball {}  <- a = 'o'
      | Full <- mode s , Robot {} <- a = '@'

[4.1271]

[5.2282]

      | Wall     <- a                  = '#'
      | Box {}   <- a                  = 'x'
      | Robot {} <- a                  = maybe 'o' (const '@') $ move a

vs