Lol, ChatGPT предлагает мне, чтобы практиковаться в Agda следующее

> Решать задачи: Как и при изучении любого другого языка, практика очень важна. Вы можете решать задачи на sites, таких как Codewars или HackerRank, а также использовать ресурсы, такие как "The Agda Wiki", который предлагает ряд задач для решения.

Я сначала посмеялся, лет 5 назад я заходил на этот прекрасный сайт, кажется агдой там и не пахло, а сейчас захожу и там есть специальные задачи для Agda. Я в шоке. Сук, всё. Challenge accepted.

#Agda #ТеорияТипов #TypeTheory #TheoremProver