https://www.typefox.io/blog/typir-introduction/
Announcing Typir | TypeFox
Johannes and Insa present our new open source project Typir for type checking your language in the web. The stand-alone library provides default...
announcingtypirtypefox
https://github.com/typefox/typir
GitHub - TypeFox/typir: Typir is an open source library for type checking in the web ยท GitHub
Typir is an open source library for type checking in the web - TypeFox/typir