git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
c6fe987
help
sign in
history of
src/Idris/Parser/Data.hs
all commits
3dc90d3
Fix for implicits in records
Edwin Brady
10 years ago
e6ceb5c
Alphabetize and indent imports and LANGUAGE pragmas
Echo Nolan
10 years ago
635fb40
Unify almost identical checkFixity' functions.
Björn Aili
10 years ago
a6f56ce
Fix #3275
Björn Aili
10 years ago
08cef17
HLint DIrected Code Cleanup
Jan de Muijnck-Hughes
10 years ago
0896073
Added documentation for modules.
Jan de Muijnck-Hughes
10 years ago
1019ce5
Source file stylings & Haddock.
Jan de Muijnck-Hughes
10 years ago
9297ae4
Allow 'data' declarations in interfaces
Edwin Brady
10 years ago
c7bac29
Extended syntax for 'with' blocks
Edwin Brady
11 years ago
fdfd99e
Fix behaviour of %hide
Edwin Brady
11 years ago
e95b013
Made Parser submodules actual submodules.
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