L languagengine.co So you want to write a type checker (2014) 152 points ChickeNES 9 years ago 98 comments