git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
41951f2
help
sign in
Idris-dev
/
docs
/
tutorial
15 files
../
conclusions.rst
Fix links
11 years ago
index.rst
provisional wasn't included in the index for the tutorial.
9 years ago
interactive.rst
Spelling in Sphinx documentation
11 years ago
interfaces.rst
Fix reST errors.
9 years ago
interp.rst
Clarified the formatting in the section on `If`.
11 years ago
introduction.rst
Refresh the tutorial
10 years ago
miscellany.rst
Documents how to include debugging symbols
9 years ago
modules.rst
Fix reST errors.
9 years ago
packages.rst
Refresh the tutorial
10 years ago
provisional.rst
Update tutorial for class->interface
11 years ago
starting.rst
Fix reST errors.
9 years ago
syntax.rst
Fix reference to "refl" in misc reference
10 years ago
theorems.rst
Refresh the tutorial
10 years ago
typesfuns.rst
Refresh the tutorial
10 years ago
views.rst
Expands on documentation of the 'with' rule (#4195)
9 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list