Вл
- вы хотите вместо coq послушать про [некое название которое никому ещё не знакомо но сильно ассоциируется с тайпчекером который можно принять за язык]
- дальше диалог про тайпчекер
Size: a a a
Вл
DS
DS
DS
EL
PK
AP
AP
A🚀
EL
AP
AP
AV
AP
АГ
AP
AP
AP