git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
19a87f3
help
sign in
history of
src/Idris/Docstrings.hs
all commits
fb717cc
Fix compilation with GHC 8.4
Niklas Larsson
9 years ago
3ccb494
Remove the empty property 'copyright'.
Jan de Muijnck-Hughes
9 years ago
5d7388b
Move extensions into source files
Edwin Brady
9 years ago
e6ceb5c
Alphabetize and indent imports and LANGUAGE pragmas
Echo Nolan
10 years ago
9baa5ce
Use GHC generics for NFData instances
Echo Nolan
10 years ago
0896073
Added documentation for modules.
Jan de Muijnck-Hughes
10 years ago
8d96041
Annotate links with their URL
David Raymond Christiansen
11 years ago
0f86748
Fix build errors with GHC 7.10.1. Fixes #2080
Jan Stolarek
12 years ago
177b96b
Remove -Werror from all files
David Raymond Christiansen
12 years ago
e90316a
Support type errors in docstrings
David Raymond Christiansen
12 years ago
16ff91f
Add syntax for example code to docs
David Raymond Christiansen
12 years ago
37292e1
Save terms in docstrings
David Raymond Christiansen
12 years ago
8fe60a2
Enable word-wrapping in docstrings
David Raymond Christiansen
13 years ago
e9ef380
Support text formatting in docstrings
David Raymond Christiansen
13 years ago
fc65c25
Make :apropos case-insensitive
David Raymond Christiansen
13 years ago
1921424
Add :apropos command to REPL
David Raymond Christiansen
13 years ago
d910c2c
Use Markdown to represent docstrings
David Raymond Christiansen
13 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