# content
A reckless introduction to Hindley-Milner type inference (via runxiyu) — discussion

#formalmethods #plt