Arto's Notes
Arto's Notes re:
ATS
http://www.ats-lang.org/
https://github.com/ats-lang/ATS-Postiats-release
See Also
CakeML
F*
Idris