G. Allais 96c44abb64 [ new ] :doc for keywords (#2028) ... * [ new ] :doc for keywords * [ doc ] for visibility * [ more ] fixing help text, sentence for "mutual" * [ doc ] for if then else * [ doc ] for implicit arguments * [ doc ] import * [ cleanup ] doc for data * [ doc ] for record * [ doc ] for forall quantifier * [ doc ] for `in' keyword * [ doc ] for parameters block * [ fix ] missing fence * [ doc ] for where and mutual blocks * [ doc ] for namespace blocks * [ doc ] for with/proof * [ doc ] for do blocks * [ doc ] for rewrite * [ doc ] for let binding * [ doc ] for case...of and interfaces * [ doc ] for fixity		2021-10-26 18:58:06 +01:00
..
app	[ docs ] Update Control.App docs	2021-03-31 18:01:39 +01:00
backends	FIxed typo: repeated word	2021-10-13 14:25:32 +01:00
faq	Minor FAQ edits	2021-07-18 21:03:12 +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	[ doc ] Mark code examples as Idris code in implementation overview	2021-10-21 21:40:18 +01:00
libraries	FAQ/CONTRIBUTION updates	2021-07-16 11:16:46 +01:00
listing	Version increment to 0.5.1 (#1939)	2021-09-19 20:53:32 +01:00
proofs	fix #1514 (Broken doc in the theorem proving part of Idris2)	2021-06-22 14:42:54 +02:00
reference	Update documentation and changelog for string interpolation (#2013)	2021-10-18 11:45:32 +01:00
tutorial	[ new ] :doc for keywords (#2028)	2021-10-26 18:58:06 +01:00
typedd	Add comment about import from the contrib library (#1625)	2021-06-28 16:23:01 +01:00
updates	[ doc ] Some documentation on := syntax of let bindings (#1487)	2021-06-03 16:49:31 +01: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