Избранные теги: agda, coq, dependent types, haskell, idris, ocaml, зависимые типы, теория категорий, теория типов, функциональное программирование

Статистика

Первая созданная тема: 22.12.05 16:27:51 MSK
Последняя созданная тема: 24.05.23 01:24:59 MSK
Первый комментарий: 19.06.05 13:05:54 MSD
Последний комментарий: 28.11.23 17:15:38 MSK
Число комментариев: 9546

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

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