Idris-dev/docs/tutorial
2019-12-19 14:26:41 +01:00
..
conclusions.rst use HTTPS URL instead of HTTP URL when possible 2019-12-19 14:26:41 +01:00
index.rst use HTTPS URL instead of HTTP URL when possible 2019-12-19 14:26:41 +01:00
interactive.rst Add code-block mark. 2018-04-03 21:38:18 +08:00
interfaces.rst Fix some typos and normalize the use of punctuations. 2018-04-03 14:31:32 +08:00
interp.rst Fix sample code 2019-01-30 14:59:12 +01:00
introduction.rst use HTTPS URL instead of HTTP URL when possible 2019-12-19 14:26:41 +01:00
miscellany.rst use HTTPS URL instead of HTTP URL when possible 2019-12-19 14:26:41 +01:00
modules.rst Fix some typos and normalize the use of punctuations. 2018-04-03 14:31:32 +08:00
packages.rst Remove space before full stop 2019-05-08 20:45:04 +02:00
provisional.rst Update tutorial for class->interface 2016-01-20 15:24:56 +00:00
starting.rst Fix reST errors. 2017-11-09 13:14:47 +00:00
syntax.rst use HTTPS URL instead of HTTP URL when possible 2019-12-19 14:26:41 +01:00
theorems.rst Fix some typos and normalize the use of punctuations. 2018-04-03 14:31:32 +08:00
typesfuns.rst Couple of small tutorial typos were fixed. 2019-10-11 13:34:21 +03:00
views.rst Fix badly formatted DOI link 2019-01-25 16:50:15 +01:00