aboutsummaryrefslogtreecommitdiff
path: root/entries/ionathanch/agda
Commit message (Expand)AuthorAge
* Make Jon's work/description consistent with everyone elsebraxtonhall2022-10-23