Denis Buzdalov 36837942d5 [ doc ] Refine text about rewrite clause		2022-04-22 20:37:56 +01:00
..
app	[ docs ] Update Control.App docs	2021-03-31 18:01:39 +01:00
backends	Fix links to GitHub wiki	2022-03-11 20:31:43 +01:00
faq	Fix links to GitHub wiki	2022-03-11 20:31:43 +01:00
ffi	Remove freeBuffer function	2021-06-14 15:06:44 +01:00
image	Some documentation updates	2020-05-25 09:03:08 +01:00
implementation	[ refactor ] More IDE protocol (#2238)	2022-01-06 10:09:29 +00:00
libraries	Fix links to GitHub wiki	2022-03-11 20:31:43 +01:00
listing	Version increment to 0.5.1 (#1939)	2021-09-19 20:53:32 +01:00
proofs	[ doc ] Refine text about rewrite clause	2022-04-22 20:37:56 +01:00
reference	[doc] Rewrite docs for %builtin and nat optimisations (#2426)	2022-04-22 14:52:02 +01:00
tutorial	[ doc ] Fix prefix var, IDRIS2_PREFIX is used, not PREFIX	2022-03-10 14:25:16 +00:00
typedd	Update TypeDD Chapter 11 for idris2 (#2296)	2022-01-30 20:49:26 -08:00
updates	[ fix #1959 ] use modern record update syntax (#2196)	2021-12-16 18:23:18 +00:00
conf.py	fixed whitespace for *.py files	2021-01-22 15:08:49 +00:00
index.rst	FAQ/CONTRIBUTION updates	2021-07-16 11:16:46 +01:00