aboutsummaryrefslogtreecommitdiff
path: root/docs/posts/turing_complete_type_systems
Commit message (Expand)AuthorAgeFilesLines
* fix broken raw link in footerAkshay2021-03-271-1/+1
* fix footer breadcrumbsAkshay2021-02-251-0/+2
* add breadcrumbs to all pagesAkshay2021-02-231-2/+8
* 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