git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
32cc7dc
help
sign in
Idris-dev
/
docs
/
tutorial
16 files
../
classes.rst
Spelling in Sphinx documentation
11 years ago
conclusions.rst
Fix links
11 years ago
index.rst
Updates
11 years ago
interactive.rst
Spelling in Sphinx documentation
11 years ago
interp.rst
clarify re: using block and indentation
11 years ago
introduction.rst
Add quotes to "Hello world!"
11 years ago
miscellany.rst
Update docs for 'auto'
11 years ago
modules.rst
Capitalize module name to match code sample
11 years ago
packages.rst
Spelling in Sphinx documentation
11 years ago
provisional.rst
Consistency of implicit/pattern name binding rules
11 years ago
starting.rst
Add --package contrib to tutorial
11 years ago
syntax.rst
typo fixes
11 years ago
testing.rst
Fix links
11 years ago
theorems.rst
Spelling in Sphinx documentation
11 years ago
typesfuns.rst
"function", not "method"
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