Nick:
AndreyKl
Полное имя: Andrey
ID: 20821
Последнее посещение:
Статус: ★★★★★
Избранные теги:
agda,
coq,
haskell,
idris,
ocaml,
зависимые типы,
теория категорий,
теория типов,
функциональное программирование
Статистика
Первая созданная тема:
Последняя созданная тема:
Первый комментарий:
Последний комментарий:
Число комментариев: 9570
Раздел |
Число тем |
Новости |
4 |
Форум |
211 |
Сообщения пользователя