Closed shingarov closed 8 months ago
Following up the discussion in #209, the "Ne" case indeed does happen, because in PLE we send #isPAtom is sent from more places than just the controllable sequence in fastEval and notGuardedApps.
FYI @janvrany
Following up the discussion in #209, the "Ne" case indeed does happen, because in PLE we send #isPAtom is sent from more places than just the controllable sequence in fastEval and notGuardedApps.