idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-11 21:37:48 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #3199 from computerdreamm/patch-1

Browse Source 
Update starting.rst
This commit is contained in:
André Videla 2024-01-21 18:04:02 +00:00 committed by GitHub
commit 97243111dc
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
=====================