git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
b3b7bb7
help
sign in
Idris-dev
/
src
/
Idris
/
Elab
13 files
../
AsPat.hs
Add extra HL information to PRef
11 years ago
Class.hs
Categorised the Logs.
11 years ago
Clause.hs
Categorised the Logs.
11 years ago
Data.hs
Categorised the Logs.
11 years ago
Instance.hs
Change "class/instance" keywords
11 years ago
Provider.hs
Categorised the Logs.
11 years ago
Record.hs
Categorised the Logs.
11 years ago
RunElab.hs
Insert namespace information to declaration-level %runElab
11 years ago
Term.hs
Disambiguation tweak
11 years ago
Transform.hs
Categorised the Logs.
11 years ago
Type.hs
Categorised the Logs.
11 years ago
Utils.hs
Categorised the Logs.
11 years ago
Value.hs
Categorised the Logs.
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