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

Format Homebrew install code block

Browse Source
This commit is contained in:
Dario Vladovic 2020-06-22 06:24:04 +02:00 committed by G. Allais
parent 1e6314c4cc
commit 9cc1215f6c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -58,7 +58,7 @@ Installing Using Homebrew
---------------------- ----------------------
If you are Homebrew user you can install Idris 2 together with all the requirements If you are Homebrew user you can install Idris 2 together with all the requirements
by running following command: by running following command::
brew install idris2 brew install idris2