git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
6f0ef2f
help
sign in
Idris-dev
/
examples
17 files
../
Makefile
Fix .PHONY targets in Makefiles
13 years ago
binary.idr
Tutorial changes.
13 years ago
bmain.idr
Tutorial changes.
13 years ago
btree.idr
Tutorial changes.
13 years ago
classes.idr
Tutorial changes.
13 years ago
foo.idr
Tutorial changes.
13 years ago
hello.idr
Tutorial changes.
13 years ago
idiom.idr
Tutorial changes.
13 years ago
interp.idr
Tutorial changes.
13 years ago
letbind.idr
Tutorial changes.
13 years ago
prims.idr
Tutorial changes.
13 years ago
theorems.idr
Tutorial changes.
13 years ago
universe.idr
Tutorial changes.
13 years ago
usefultypes.idr
Tutorial changes.
13 years ago
vbroken.idr
Tutorial changes.
13 years ago
views.idr
Tutorial changes.
13 years ago
wheres.idr
Tutorial changes.
13 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