leastfixedpoint
~tonyg
Projects
Blog
Contact
Archived tweet #2827 from the
@leastfixedpoint Twitter Archive
@msimoni @psnively IIUC it doesn't take a lot of explanation to get Hindley-Milner across. A paper's worth, if that?
