ATS is an amazing language, but suffers from being mainly a one-person effort. doublec's ATS articles are probably the most accessible introduction: https://bl

ATS is an amazing language, but suffers from being mainly a one-person effort. doublec's ATS articles are probably the most accessible introduction: https://bluishcoder.co.nz/tags/ats/index.html https://bluishcoder.co.nz/tags/ats/index.html Other than that the documentation is very decent for a one-man research project. (I say "research project", and it is, but it has huge practical value as well.) Still, I have very high hopes for ATS.