Idris

Slide Show

Заголовок

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 для федоры есть собранный

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.