openlang
Языки/Зависимые типы

Agda

Интересы

Программы и доказательства

Документация

Голоса этого языка

Разговоры

0
Здесь пока нет разговоров.