⌨️
Как начать КОДИТЬ на Coq — самом хайповом языке 2021 года
❌
Дурацкий способ. Скачать кучу книг для чайников, отложить их до лучших времен и никогда не читать.
❓
Сложный. Открыть Emacs, создать _CoqProject файл в Proof General, бесконечно долго гуглить, тысячу раз отчаяться, не сдаться и придти к Антону
@AntonTrunov в @coq. Займёт 3-4 года.
✅
Простой. Подписаться на PONV, где разработчик ТКС.Тревел уже пояснил за все темы: функции, рекурсию, иммутабельность, асинхронность и фолдабл для стринга. А если что-то непонятно — он отвечает в комментариях.
Один канал вместо 1000 учебников и бесполезных туториалов на Ютубе — @scala_ponv