git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
ebbae35
help
sign in
history of
docs/reference/syntax-guide.rst
all commits
33fb426
syntax guide: discuss modules, imports.
Cliff L. Biffle
11 years ago
7f6f3c4
Spelling in Sphinx documentation
Echo Nolan
11 years ago
b1ce657
Fixed styling for multi line string literal docs
worldsayshi
11 years ago
f5e56a6
typo when correcting typo
worldsayshi
11 years ago
b6fd663
added multi line strings doc and fixed typo
worldsayshi
11 years ago
b3157fe
Fixed syntax for commands and some words
Jan de Muijnck-Hughes
11 years ago
ab54660
Updates
Jan de Muijnck-Hughes
11 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