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

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

Статистика

Первая созданная тема: 23.02.14 09:25:49
Последняя созданная тема: 21.11.20 22:39:00
Первый комментарий: 23.02.14 09:43:24
Последний комментарий: 30.11.20 17:36:46
Число комментариев: 8873

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

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