Install Idris2 on Windows using WSL - Tutorial
Thanks for watching this short tutorial about how to install Idris2 on windows using WSL.
Troubleshooting:
- If installing WSL fails, try using the manual steps detailed here https://docs.microsoft.com/en-us/windows/wsl/install-manual
The written instructions are here: https://github.com/idris-lang/Idris2/blob/main/INSTALL.md
Summary:
- install WSL
- update apt : sudo apt update
- install dependencies : sudo apt install make libgmp3-dev gcc chezscheme rlwrap
- clone the repo: git clone https://github.com/idris-lang/Idris2.git
- go into the directory: cd Idris2
- bootstrap the compiler: make bootstrap SCHEME=scheme
- install : make install
- add idris2 to path: export PATH="~/.idris2/bin:$PATH"
If you have a specific question to ask, head to discord: https://discord.gg/UX68fDs2jc
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «Install Idris2 on Windows using WSL - Tutorial», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.