Информация о пользователе hateyoufeel

Избранные теги: agda, anonimous, dependent types, erlang, erzent, haskell, idris, nixos, ocaml, rust, sml, spacemacs, wire, круг, убогонький недоязычок

Статистика

Первая созданная тема: 23.02.14 09:25:49
Последняя созданная тема: 30.03.21 18:47:11
Первый комментарий: 23.02.14 09:43:24
Последний комментарий: 19.04.21 10:50:09
Число комментариев: 9844

Сообщения пользователя

• Темы
• Комментарии