git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
efde939
help
sign in
Idris-dev
/
src
/
Idris
/
Elab
14 files
../
AsPat.hs
Allow @-patterns under PAlternative
11 years ago
Class.hs
Implicit bindings warnings
11 years ago
Clause.hs
Add the ability to define datatypes in Elab
11 years ago
Data.hs
Add the ability to define datatypes in Elab
11 years ago
Instance.hs
Implicit bindings warnings
11 years ago
Provider.hs
Categorised the Logs.
11 years ago
Quasiquote.hs
Moved Quasiquote under Elab namespace.
11 years ago
Record.hs
Implicit bindings warnings
11 years ago
RunElab.hs
Implicit bindings warnings
11 years ago
Term.hs
Fix hole/pattern conversion
11 years ago
Transform.hs
Add the ability to define datatypes in Elab
11 years ago
Type.hs
Implicit bindings warnings
11 years ago
Utils.hs
Implicit bindings warnings
11 years ago
Value.hs
Add the ability to define datatypes in Elab
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