leastfixedpoint
~tonyg
Projects
Blog
Contact
Archived tweet #6867 from the
@leastfixedpoint Twitter Archive
@psygnisfive @lojikil Fair I suppose. Overloaded name tho; maybe "(strictly-ascending? ns)" etc. better. Or "(pairwise? < ns)"