git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
a95debf
help
sign in
Idris-dev
/
docs
/
tutorial
15 files
../
classes.rst
Fix formatting in docs/tutorial/classes.rst
11 years ago
conclusions.rst
Heading normalisation, and reST usage fixes.
12 years ago
index.rst
Heading normalisation, and reST usage fixes.
12 years ago
interactive.rst
Heading normalisation, and reST usage fixes.
12 years ago
interp.rst
insert missed lambda param
11 years ago
introduction.rst
Fixes to Introduction.
12 years ago
miscellany.rst
Heading normalisation, and reST usage fixes.
12 years ago
modules.rst
correct examples so that they actually compile
11 years ago
packages.rst
Heading normalisation, and reST usage fixes.
12 years ago
provisional.rst
Heading normalisation, and reST usage fixes.
12 years ago
starting.rst
Fix typo in starting.rst
11 years ago
syntax.rst
Heading normalisation, and reST usage fixes.
12 years ago
theorems.rst
Heading normalisation, and reST usage fixes.
12 years ago
typesfuns.rst
Docs for new record syntax
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