git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
13ebfcf
help
sign in
Idris-dev
/
src
/
Idris
/
Elab
11 files
../
AsPat.hs
Only rewrite _ under @!
12 years ago
Class.hs
Instance docs: instance parameter documentation
12 years ago
Clause.hs
Add provenance flag to unification errors
12 years ago
Data.hs
Added explicit error messages when eliminator/case function generation fails
12 years ago
Instance.hs
Instance docs: instance parameter documentation
12 years ago
Provider.hs
Documentation for provided postulates
12 years ago
Record.hs
Allow implicits to appear anywhere
12 years ago
Transform.hs
Add provenance flag to unification errors
12 years ago
Type.hs
Fix irrelevance bug
12 years ago
Utils.hs
Expose equality proofs in with rule
12 years ago
Value.hs
Remove -Werror from all files
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