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

Избранные теги: clos, common lisp, dependent types, emacs, emacs lisp, go, idris, lisp, зависимые типы, функциональное программирование

Статистика

Первая созданная тема: 14.06.19 07:39:59 MSK
Последняя созданная тема: 23.06.21 23:40:46 MSK
Первый комментарий: 09.07.19 08:06:43 MSK
Последний комментарий: 29.06.21 19:18:10 MSK
Число комментариев: 173

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

• Темы
• Комментарии
• Избранные темы