leastfixedpoint
~tonyg
Projects
Blog
Contact
Archived tweet #8871 from the
@leastfixedpoint Twitter Archive
They missed (λx.e1) e2 = e1{e2/x}
twitter.com/java/status/86…
