Привет! Всё, последние страницы из consultants, последние из 364 страниц. Пришлось повыворачиваться со спеллчекером, в emacs с ним как-то туго. Почему emacs? Потому что на работе надо писать на Agda, а без agda-mode только комментарии и можно писать. Поэтому теперь у меня
Теперь нужно немного передохнуть и заработать на хлеб насущный.