Ваші запити по статусу

+7

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

Alexandr Ruchkin 12 років тому оновлений 12 років тому 1