LINUX.ORG.RU

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

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

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

Статистика

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

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

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