From 9cc1215f6cb7a51d96e51f8ecb14022074a808bd Mon Sep 17 00:00:00 2001 From: Dario Vladovic Date: Mon, 22 Jun 2020 06:24:04 +0200 Subject: [PATCH] Format Homebrew install code block --- docs/source/tutorial/starting.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/tutorial/starting.rst b/docs/source/tutorial/starting.rst index bd74ec711..3eafc6168 100644 --- a/docs/source/tutorial/starting.rst +++ b/docs/source/tutorial/starting.rst @@ -58,7 +58,7 @@ Installing Using Homebrew ---------------------- 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