1
1
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-20 18:21:47 +03:00
Idris2/docs/source/tutorial
2021-02-10 00:37:06 +00:00
..
conclusions.rst fixed whitespace for *.md and .rst files 2021-01-22 15:08:49 +00:00
index.rst Copy more files over from Idris2 2020-05-20 11:23:04 +01:00
interactive.rst fixed whitespace for *.md and .rst files 2021-01-22 15:08:49 +00:00
interfaces.rst [ fix ] some of the docs 2021-02-10 00:37:06 +00:00
interp.rst Copy more files over from Idris2 2020-05-20 11:23:04 +01:00
introduction.rst replace HTTP links with HTTPS 2020-05-27 14:50:05 +02:00
miscellany.rst replace HTTP links with HTTPS 2020-05-27 14:50:05 +02:00
modules.rst fixed whitespace for *.md and .rst files 2021-01-22 15:08:49 +00:00
multiplicities.rst fixed whitespace for *.md and .rst files 2021-01-22 15:08:49 +00:00
packages.rst Update docs to reflect changes to ipkg format 2020-06-05 22:14:16 -07:00
starting.rst A tiny doc fix: heading line was not long enough. 2021-02-04 16:48:19 +00:00
theorems.rst replace HTTP links with HTTPS 2020-05-27 14:50:05 +02:00
typesfuns.rst Fix documentation link in typesfuns tutorial 2021-02-02 11:04:44 +00:00
views.rst Use reST directives to make warnings and TODOs explicit in the documentation. 2020-05-23 19:57:50 +01:00