1. Профиль пользователя
  2. Alexandr Ruchkin

Ваши запросы по статусу

  1. Форум: General
1 1 0 0 0 0 0 0 0
Все Новые На рассмотрении Запланированные Начатые Завершенные Отклоненные
+7

Support for Agda (syntax, input unicode characters (\forall is for ∀, for example), integration with agda binary)

Alexandr Ruchkin 13 лет назад • обновлен 13 лет назад • 1


Сервис поддержки клиентов работает на платформе UserEcho