Исправление q0tw4, (текущая версия) :
Agda
Ага, забавная штука. Вот только миксфиксные операторы и тонна юникода превращают чтение чужих кодов в сплошную боль. Было дело обклеил на работе стену листингами стдлибы агды. Красиво было. И почитать познавательно
Исходная версия q0tw4, :
Agda
Ага, забавная штука. Вот только миксфиксные операторы и тонна юникода превращают чтение чужих кодов в сплошную боль.