Here is Andreas Abel presenting a retrospective on 20 years of Agda (Implementors) Meetings. I have fond memories of the first few meetings back in the days when Ulf Norell and Nils Anders Danielsson were working on their PhD theses [and I was their thesis advisor]. I'm very grateful to all the developers and maintainers who have (and are still) spending time on making and improving Agda.
Fun fact: Ulf's PhD thesis [1] has now been cited [2] more than 1000 times (around 60 citations per year for 17 years).
[1] https://ncatlab.org/nlab/files/Norell-PracticalDTT.pdf
[2] https://scholar.google.com/citations?view_op=view_citation&hl=en&user=KEIhJYcAAAAJ&citation_for_view=KEIhJYcAAAAJ:u5HHmVD_uO8C
@ulfnorell
[#]Agda
@jesper
=> View attached media | View attached media
=> More informations about this toot | View the thread | More toots from patrikja@functional.cafe
=> View ulfnorell@mastodon.social profile | View jesper@agda.club profile
=> View agda tag This content has been proxied by September (3851b).Proxy Information
text/gemini