leastfixedpoint

Archived tweet #7130 from the @leastfixedpoint Twitter Archive
. o O ( a connection between derivatives (one-hole contexts) and partial evaluation ?!?! )