Modeling PlusCal in Haskell Using Cartesian Products of NFAs | Heykuki News