leastfixedpoint

Archived tweet #9463 from the @leastfixedpoint Twitter Archive
@DRMacIver @jeremywsherman Haha WHAT just ONE element? :-) Oh, maybe represent the quantifier separately? any(listof(integer)) ✓ vs any(listof(any(integer))) ✗