@psygnisfive I've added a brief note to the post...
@psygnisfive I'm sure I should, but it's brief release notes, not documentation. It's for people to read quickly and see what's new.
-
-
@edwinbrady fair point. i take it it means that youre not checking Lazy subterms for termination? but no loss of consistency because … -
@edwinbrady …while Lazy Void might be provable, Void itself isn’t? that’s an interesting tack. i wonder the proof theoretic consequences - 7 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.