https://discopal.ispras.ru/index.php?action=history&feed=atom&title=Idris 2026-05-09T22:20:57Z История изменений этой страницы в вики MediaWiki 1.26.4 https://discopal.ispras.ru/index.php?title=Idris&diff=29104&oldid=prev 2024-04-16T07:21:48Z

<p>Новая страница: «&lt;slideshow style=&quot;ispras&quot; headingmark=&quot;.&quot; scaled=1 /&gt; === Источники . === * https://www.idris-lang.org/ * :File:Type Driven Development with Idris.pdf…»</p> <p><b>Новая страница</b></p><div>&lt;slideshow style=&quot;ispras&quot; headingmark=&quot;.&quot; scaled=1 /&gt;<br /> <br /> === Источники . ===<br /> * https://www.idris-lang.org/<br /> * [[:File:Type Driven Development with Idris.pdf]] [https://www.manning.com/books/type-driven-development-with-idris]<br /> * [https://idris2.readthedocs.io/en/latest/tutorial/starting.html Tutorial]<br /> ** Изучать надо именно Idris2<br /> <br /> === Инсталляция . ===<br /> * [https://github.com/idris-lang/Idris2/blob/main/INSTALL.md] + [https://github.com/stefan-hoeck/idris2-pack/blob/main/INSTALL.md через idris-pack]<br /> ** лучше скачать сначала [https://raw.githubusercontent.com/stefan-hoeck/idris2-pack/main/install.bash установочный скрипт], потом запустить.<br /> ** лучше [https://github.com/stefan-hoeck/idris2-pack/issues/286 не использовать racket], а поставить сначала chez-scheme [https://copr.fedorainfracloud.org/coprs/superboum/chez-scheme/ для федоры есть собранный]</div>

StasFomin