Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Notes on Idris (2017). Parent comment
doublec's ATS articles are probably the most accessible introduction: 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.
There are no comments on this comment yet.
doublec's ATS articles are probably the most accessible introduction: 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.