git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
9302221
help
sign in
history of
libs/Makefile
all commits
e707475
Remove oldeffects from build
Edwin Brady
13 years ago
4ba5460
Make 'neweffects' the official effects package
Edwin Brady
13 years ago
7f722cb
Add missing files to idris.cabal
Edwin Brady
13 years ago
23a28d5
Fix .PHONY targets in Makefiles
Andy Morris
13 years ago
ecea329
Merge branch 'master' of github.com:idris-lang/Idris-dev
Edwin Brady
13 years ago
ba6f0ef
Separate base into base and prelude
Edwin Brady
13 years ago
a72a39c
respect $(MAKE), instead of using hardcoded make
Hannes Mehnert
13 years ago
2d68066
Oops, missed another thing...
Edwin Brady
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