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

Idris 2

Интересы

Ограничения программы, выраженные типами

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

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

Разговоры

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