git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
009a5d7
help
sign in
Idris-dev
/
docs
/
tutorial
16 files
../
conclusions.rst
Fix links
11 years ago
index.rst
Update tutorial for class->interface
11 years ago
interactive.rst
Spelling in Sphinx documentation
11 years ago
interfaces.rst
Add brief tutorial section
11 years ago
interp.rst
Update tutorial for class->interface
11 years ago
introduction.rst
Add quotes to "Hello world!"
11 years ago
miscellany.rst
Update docs for 'auto'
11 years ago
modules.rst
Update tutorial for class->interface
11 years ago
packages.rst
Spelling in Sphinx documentation
11 years ago
provisional.rst
Update tutorial for class->interface
11 years ago
starting.rst
Add --package contrib to tutorial
11 years ago
syntax.rst
Update tutorial for class->interface
11 years ago
testing.rst
Fix links
11 years ago
theorems.rst
Spelling in Sphinx documentation
11 years ago
typesfuns.rst
Merge pull request #2892 from thisfred/tutorial-record-typo
11 years ago
views.rst
Fixed pipe symbol representation
12 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