leastfixedpoint

Archived tweet #2613 from the @leastfixedpoint Twitter Archive
@swannodette I guess what I just wrote doesn't apply to other kinds of relation. Eval, preorder, etc. Hmm. Shall think on it.