You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For years the documented (and actual) behaviour of rparWith r0, was to create a spark that does no evaluation. However since commit 9ea4c07 the spark will evaluate to weak head normal form.
I have restored the documented behaviour in pull request #34.