git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
7701a90
help
sign in
history of
stack-shell.nix
all commits
0c8a486
Bumped Idris to LTS 6.9.
Jan de Muijnck-Hughes
10 years ago
e621121
Merge pull request #3236 from tpsinnem/stack-nix-lib-fixes
Ahmad Salim Al-Sibahi
10 years ago
e976b02
Bumped Stack resolver to LTS 6.4.
Jan de Muijnck-Hughes
10 years ago
4abfa34
Added native libs to LD_LIBRARY_PATH due to ghci issue.
Timo Petteri Sinnemäki
10 years ago
bf51d47
Indirect dependency terminfo requires ncurses.
Timo Petteri Sinnemäki
10 years ago
1435096
Bumped stack to latest version 5.11
Jan de Muijnck-Hughes
11 years ago
7f5d2e4
Bumped idris to work with latest LTS Haskell release 5.9.
Jan de Muijnck-Hughes
11 years ago
b64f0fd
Remove curses dependency
Niklas Larsson
11 years ago
9de23d5
Fix stack --nix on OS X
Alexander Shabalin
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