languagengine - Blog - So you want to write a type checker...LinkShared 23 January 2019languagengine.co ↗