LINUX.ORG.RU

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

Регистрация

ID: 20821
Nick: AndreyKl
Полное имя: Andrey
Последнее посещение:
Статус: ★★★★
Избранные теги: agda, coq, dependent types, haskell, idris, зависимые типы, функциональное программирование

Статистика

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

Раздел Число тем
Новости 4
Форум 197

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