LINUX.ORG.RU

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

Nick: AndreyKl
Полное имя: Andrey
ID: 20821

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

Статистика

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

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

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