The nForum has moved to Zulip: Co/end calculus.