Type Inference (Part 1) (via thunderseethe) — discussion

#compilers #plt