leastfixedpoint

Archived tweet #4769 from the @leastfixedpoint Twitter Archive
Why does this happen? Can't a value be in both subsort X and Y at once? gist.github.com/tonyg/6419046 #maude