leastfixedpoint

Archived tweet #9674 from the @leastfixedpoint Twitter Archive
@mjambon (I'll have a go:) It's about deciding whether two pieces of syntax mean the same thing or not.