@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 | View the thread | More toots from jesper@agda.club
=> View april@cyberglot.lol profile
text/geminiThis content has been proxied by September (3851b).