Read news on typed superset with our app.
Read more in the app
ExactTex. A gradually-typed superset of LaTeX
Vapour: A typed superset of the R programming language
