Idris — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<slideshow style="ispras" headingmark="." scaled=1 /> === Источники . === * https://www.idris-lang.org/ * :File:Type Driven Development with Idris.pdf…») |
(нет различий)
|
Текущая версия на 07:21, 16 апреля 2024
- Заголовок
- Idris
- Автор
- Стас Фомин
- Нижний колонтитул
- Idris
- Дополнительный нижний колонтитул
- Стас Фомин, 07:21, 16 апреля 2024
Источники .
- https://www.idris-lang.org/
- File:Type Driven Development with Idris.pdf [1]
- Tutorial
- Изучать надо именно Idris2
Инсталляция .
- [2] + через idris-pack
- лучше скачать сначала установочный скрипт, потом запустить.
- лучше не использовать racket, а поставить сначала chez-scheme для федоры есть собранный