git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
54e4e41
help
sign in
Idris-dev
/
src
/
Idris
/
Elab
12 files
../
AsPat.hs
Add extra HL information to PRef
11 years ago
Class.hs
Highlighting for pairs, lists and sigmas
11 years ago
Clause.hs
Fix #1134 by saving same info in ibc on check
11 years ago
Data.hs
Add extra HL information to PRef
11 years ago
Instance.hs
Merge remote-tracking branch 'upstream/master' into parser-highlights
11 years ago
Provider.hs
Add extra HL information to PRef
11 years ago
Record.hs
Highlighting for pairs, lists and sigmas
11 years ago
Term.hs
Normalise local variable types in metavariables
11 years ago
Transform.hs
Add extra HL information to PRef
11 years ago
Type.hs
Fix #1134 by saving same info in ibc on check
11 years ago
Utils.hs
Add extra HL information to PRef
11 years ago
Value.hs
Merge remote-tracking branch 'upstream/master' into parser-highlights
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