7 Commits

Author	SHA1	Message	Date
Kamil Shakirov	f094a52ba9	Update docs	2020-06-30 18:44:36 +06:00
Dario Vladovic	9cc1215f6c	Format Homebrew install code block	2020-06-22 17:17:11 +01:00
Dario Vladovic	cc61d4d3d8	Add Homebrew installation instructions	2020-06-21 13:37:36 +02:00
Boyd Stephen Smith Jr	7e23c844a8	Mention make install ... README.md has that step, but this section of the documentation was missing it.	2020-05-25 21:32:33 -05:00
Edwin Brady	9c5594223e	Small documentation updates	2020-05-25 01:02:07 +01:00
Edwin Brady	e292f18029	Update installing instructions in docs	2020-05-20 19:09:26 +01:00
Edwin Brady	fd55e629ee	Copy more files over from Idris2	2020-05-20 11:23:04 +01:00