aboutsummaryrefslogtreecommitdiff
path: root/docs/posts/turing_complete_type_systems/index.html
Commit message (Expand)AuthorAgeFilesLines
* add art pageAkshay2021-02-231-9/+9
* link to plaintextAkshay2021-01-041-1/+1
* fix link to point to git.peppe.rsAkshay2020-12-131-1/+1
* update intro, new post: Self-hosting Git!Akshay2020-10-171-1/+4
* update irc nick, publish postAkshay2020-08-011-1/+1
* spill straight faxAkshay2020-06-181-3/+3
* new post: turing complete type systemsAkshay2020-06-181-0/+73