git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
2b0224a
help
sign in
Idris-dev
/
src
/
Idris
/
Elab
12 files
../
AsPat.hs
Highlight let bindings
12 years ago
Class.hs
Fix dictionary arguments in dependent type class methods
11 years ago
Clause.hs
Mark instances on elaboration stack
11 years ago
Data.hs
Better highlighting for data declarations
12 years ago
Instance.hs
Mark instances on elaboration stack
11 years ago
Provider.hs
Highlight the names in type declarations
12 years ago
Record.hs
Accurate highlighting for records
12 years ago
Term.hs
Unknown implicit checking for nullary functions
11 years ago
Transform.hs
Initial implementation of semantic editor hightlighting
12 years ago
Type.hs
Precise highlighting of instances
12 years ago
Utils.hs
Highlight the names in type declarations
12 years ago
Value.hs
Improved type-directed disambiguation
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