![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
- 11th
- 01:29 am
Предался общественным работам
- 9 comments
- 26th
- 02:09 am
Agda, абсурд в образцах
- 1 comment
03:27 pmAgda, вопрос о подсветке синтаксиса
- 22 comments
- 27th
- 12:36 pm
Haskell, newtype vs data
- 9 comments
- 29th
- 08:54 pm
Рабочий момент, Agda
- 18 comments
Reload page in style: light