git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
df5bf81
help
sign in
history of
tutorial/examples/theorems.idr
all commits
cc716d7
Make 'Type' the type of types instead of Sets ...after mailing list discussion
Edwin Brady
14 years ago
58bcd1e
Better type class resolution
Edwin Brady
15 years ago
33baa44
More on errors; propagate line numbers
Edwin Brady
15 years ago
6b6dc72
Added note on the empty type and totality checking to the tutorial
Edwin Brady
15 years ago
9839562
Fix silly error in termination checker :)
Edwin Brady
15 years ago
b752e2d
Made tutorial and examples consistent with latest library
Edwin Brady
15 years ago
2e9fcd4
Remove semicolons in tutorial
Edwin Brady
15 years ago
dcc09e0
Fix metavariable naming in namespaces
Edwin Brady
15 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