1
1
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-26 05:01:34 +03:00
Idris2/docs/source
Thomas E. Hansen ff6ffad907 fix formatting
2022-10-06 10:10:16 +02:00
..
app [ docs ] Update Control.App docs 2021-03-31 18:01:39 +01:00
backends Fix URL of External backends hyperlink. 2022-09-30 07:14:16 +03:00
cookbook Fix typo: Calculutor -> Calculator 2022-05-19 11:50:48 +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 [ fix ] Support multiple ide server instances () 2022-07-18 14:08:56 +01:00
libraries Fix links to GitHub wiki 2022-03-11 20:31:43 +01:00
listing Version increment to 0.5.1 () 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 () 2022-04-22 14:52:02 +01:00
tutorial fix formatting 2022-10-06 10:10:16 +02:00
typedd Update TypeDD Chapter 11 for idris2 () 2022-01-30 20:49:26 -08:00
updates [ fix ] use modern record update syntax () 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 [ doc ] cookbook for parsing () 2022-05-18 13:17:12 +01:00