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

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

Статистика

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

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

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