aboutsummaryrefslogtreecommitdiff
path: root/entries/funemy/agda
Commit message (Collapse)AuthorAge
* boring onefunemy2022-10-23