idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-19 01:01:59 +03:00
Code Issues Projects Releases Wiki Activity

Update starting.rst

Browse Source
This commit is contained in:
Computer Dream 2024-01-21 14:28:35 +02:00 committed by GitHub
parent d34cf62611
commit b30e0c4fd3
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/source/tutorial/starting.rst
View File

@ -67,6 +67,14 @@ by running following command::
brew install idris2
Installing Using Yay
-------------------------
If you are an Arch based distro user, you can install Idris 2 together with all the requirements
by running following command::
yay -S idris2
Checking Installation
=====================