git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
385dcbf
help
sign in
history of
src/Idris/Info.hs
all commits
4a1c2a1
Refactoring: Move options out of AbsSyntax
Niklas Larsson
9 years ago
d1bc3fa
Make fetching of data files more robust. Fixes #3544
Jan de Muijnck-Hughes
10 years ago
e6ceb5c
Alphabetize and indent imports and LANGUAGE pragmas
Echo Nolan
10 years ago
b949b28
Fix build system dir inconsistencies.
Jan de Muijnck-Hughes
10 years ago
de5a79c
Allow Idris to install IdrisDoc into a central location.
Jan de Muijnck-Hughes
10 years ago
cb210b1
Addition of a command line flag `--info`.
Jan de Muijnck-Hughes
10 years ago
757b76f
Added new items to Idris.Info
Jan de Muijnck-Hughes
10 years ago
c96148c
Collate 'info' about idris setup.
Jan de Muijnck-Hughes
10 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