8 Commits

Author	SHA1	Message	Date
Vit Brunner	b1040a26b3	Appease the linter ... Hey I haven't even touched those things!	2022-03-14 18:13:57 +01:00
Vit Brunner	f16b5d63d2	Fix link syntax in CONTRIBUTING.md	2022-03-11 20:33:31 +01:00
Vit Brunner	3d7b946fb9	Fix links to GitHub wiki	2022-03-11 20:31:43 +01:00
Edwin Brady	3ee965e30d	FAQ/CONTRIBUTION updates ... We had a lot of things missing here, and the contributing guidelines were extremely out of date and reflected the state when I first made the Idris 2 repo public. I've updated both to reflect the current state of the way we work, and to give better guidelines about what will be most helpful.	2021-07-16 11:16:46 +01:00
stefan-hoeck	29a6aa45e0	fixed whitespace for *.md and .rst files	2021-01-22 15:08:49 +00:00
zenntenn	f9880a31e4	Update CONTRIBUTING.md	2020-10-01 13:26:36 -04:00
Edwin Brady	2206692533	Some documentation updates ... Remove things from CONTRIBUTING that are done, and initial App documentation (though it could use more examples).	2020-05-25 09:03:08 +01:00
Edwin Brady	fd55e629ee	Copy more files over from Idris2	2020-05-20 11:23:04 +01:00