Introduction to Dependent Types with Idris 2023.rar

크기 (mm) 1.74 MB

이름 * 20.05.2023

다운로드

RAZULA
Бесплатный форум знаний
150,000+
курсов абсолютно бесплатно
сразу после регистрации
💻 IT & Программирование
💼 Бизнес & Финансы
🎨 Дизайн & Творчество
🗣️ Языки & Коммуникации
Заглянуть
Advertising $50 per month • email