Избранные теги: computer science, dependent types, gentoo, nixos, vim, функциональное программирование

Статистика

Первая созданная тема: 20.05.14 20:34:17 MSK
Последняя созданная тема: 12.05.16 08:05:31 MSK
Первый комментарий: 07.01.14 18:17:35 MSK
Последний комментарий: 27.06.16 22:51:06 MSK
Число комментариев: 544

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

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