Nick:
devsdc
ID: 115404
Дата регистрации:
Последнее посещение:
Статус: ★★
Избранные теги:
computer science,
dependent types,
gentoo,
nixos,
vim,
функциональное программирование
Статистика
Первая созданная тема:
Последняя созданная тема:
Первый комментарий:
Последний комментарий:
Число комментариев: 544
Сообщения пользователя