leastfixedpoint

Archived tweet #9720 from the @leastfixedpoint Twitter Archive
@PLT_cheater Ah, ok: no, not short-circuited syntactically like that. It's close-ish to a debruijn notation I suppose.