leastfixedpoint

Archived tweet #11169 from the @leastfixedpoint Twitter Archive
@rsnous Seems like a limited imagining of autocomplete. Why couldn't autocomplete complete 'x' to 'f(x)', presenting a menu of 'f's of type 'X -> ...'. Editors perfectly able to insert chars elsewhere than directly at point