Ancestors

Toot

Written by Jesper Agdakx 🔸 on 2025-01-23 at 09:37

I just updated the list of #Agda tutorials and videos at agda.readthedocs.io/en/latest/getting-started/tutorial-list.html to add materials by @MartinEscardo @andrejbauer @JacquesC2 @mortberg among other people. Thank you to everyone for bringing Agda to new people!

=> More informations about this toot | More toots from jesper@agda.club

Descendants

Written by april on 2025-01-23 at 09:53

@jesper you should update your "Programming and Proving in Agda" to say 2024 as you keep it updated. Personally, I try to only follow Agda tutorials when they're recent bc otherwise I will have to deal with language changes that I don't want to deal with.

=> More informations about this toot | More toots from april@cyberglot.lol

Written by Jesper Agdakx 🔸 on 2025-01-23 at 12:12

@april Well I would like to keep the date that each tutorial was first published but perhaps we should add the Agda version numbers that each tutorial was tested with. Though to do that properly we would need to have repositories for each of them with the Agda code so we can check them after each release.

=> More informations about this toot | More toots from jesper@agda.club

Written by april on 2025-01-23 at 14:21

@jesper I understand that would be ideal, but also lots of work 🥲

=> More informations about this toot | More toots from april@cyberglot.lol

Written by april on 2025-01-23 at 14:22

@jesper maybe a (Published 2019, Updated 2024) should suffice for now?

=> More informations about this toot | More toots from april@cyberglot.lol