LINUX.ORG.RU

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

Регистрация

ID: 83940
Nick: ymn
Полное имя: Александр
Город: Челябинск
Дата регистрации:
Последнее посещение:
Статус: ★★★★★ (корректор)
Избранные теги: agda, coq, coreos, dependent types, docker, erlang, ffmpeg, fstar, go, haskell, ocaml, scala, sml

нравится: функциональное программирование, математика

не нравится: c++, kde

Игнорирую: 0

Игнорастов: 7

avkarpich@gmail.com

Статистика

Первая созданная тема:
Последняя созданная тема:
Первый комментарий:
Последний комментарий:
Число комментариев: 4132

Раздел Число тем
Новости 122
Форум 132
Галерея 5
Голосования 1

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