What Chip Model?

• Starting Point: Haskell Chip Model
  • .../programatica/examples/ChannelSeparation/Monadic/
• Hand translation to Alfa
• One simplification of the model