aboutsummaryrefslogtreecommitdiff
path: root/entries/ionathanch/agda
Commit message (Collapse)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