aboutsummaryrefslogtreecommitdiff
path: root/entries/ionathanch
Commit message (Expand)AuthorAge
* Fortran :) (also moved my Agda file up a dir)Jonathan Chan2022-10-24
* Make Jon's work/description consistent with everyone elsebraxtonhall2022-10-23