git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
465cc1c
help
sign in
Idris-dev
/
src
/
Idris
/
Elab
11 files
../
AsPat.hs
Only rewrite _ under @!
12 years ago
Class.hs
Reorder instance methods
12 years ago
Clause.hs
Guard !! in forgetEnv
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 type class name propagation issue
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
Guard !! in forgetEnv
12 years ago
Utils.hs
Guard !! in forgetEnv
12 years ago
Value.hs
Guard !! in forgetEnv
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