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

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

Статистика

Первая созданная тема: 23.02.14 09:25:49
Последняя созданная тема: 05.07.21 00:48:17
Первый комментарий: 23.02.14 09:43:24
Последний комментарий: 27.07.21 14:38:45
Число комментариев: 10331

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

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