leastfixedpoint

Archived tweet #1381 from the @leastfixedpoint Twitter Archive
e ::= x | e <- e via e | (label e ...) | (x (label x ...) -> e | e) | (x x -> e)