git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
bcc5fbf
help
sign in
Idris-dev
/
src
/
Idris
/
Elab
13 files
../
AsPat.hs
Add extra HL information to PRef
11 years ago
Class.hs
Highlighting for pairs, lists and sigmas
11 years ago
Clause.hs
Use elaborated form of cases to check for defaults
11 years ago
Data.hs
Add extra HL information to PRef
11 years ago
Instance.hs
Allow empty instance declarations in mutual blocks
11 years ago
Provider.hs
Add extra HL information to PRef
11 years ago
Record.hs
Add support to keep track of records in IBC files
11 years ago
RunElab.hs
Insert namespace information to declaration-level %runElab
11 years ago
Term.hs
"Can't find name" message was missing a space
11 years ago
Transform.hs
Transform rules and constraints
11 years ago
Type.hs
Improve pruning of alternatives
11 years ago
Utils.hs
Transform rules and constraints
11 years ago
Value.hs
Proof search should only use user visible names
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