git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
2b258db
help
sign in
Idris-dev
/
src
/
Idris
/
Elab
11 files
../
AsPat.hs
Only rewrite _ under @!
12 years ago
Class.hs
Fix disambiguation in dependent classes
12 years ago
Clause.hs
Eta in conversion, consistent with unification
12 years ago
Data.hs
Merge branch 'improve-universe-solver' of https://github.com/ozgurakgun/Idris-dev into ozgurakgun-improve-universe-solver
12 years ago
Instance.hs
Fix name shadowing bug in class instances
12 years ago
Provider.hs
Library rearrangement done.
12 years ago
Record.hs
Allow implicits to appear anywhere
12 years ago
Transform.hs
Guard !! in forgetEnv
12 years ago
Type.hs
Annotate functions as %hint for auto search
12 years ago
Utils.hs
Guard !! in forgetEnv
12 years ago
Value.hs
Change disambiguation rules back
12 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