leastfixedpoint

Archived tweet #11173 from the @leastfixedpoint Twitter Archive
@maonus Start writing λx.E as x̂.E in response! "Your typographical history is wrong -- The λ historian"