git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
735fbd2
help
sign in
history of
stack.yaml
all commits
2e080f9
Bump to latest LTS Haskell 7.14.
Jan de Muijnck-Hughes
10 years ago
7d2adee
Updated Stack Resolver to LTS 7.10.
Jan de Muijnck-Hughes
10 years ago
397f5b8
Pushed Stack configuration to latest LTS Haskell Major.
Jan de Muijnck-Hughes
10 years ago
d4a1920
Bump Idris' stack settings to use LTS Haskell 6.17.
Jan de Muijnck-Hughes
10 years ago
0c8a486
Bumped Idris to LTS 6.9.
Jan de Muijnck-Hughes
10 years ago
a09a1bf
Build with GHC8 and trifecta-1.6
David Kraeutmann
10 years ago
e976b02
Bumped Stack resolver to LTS 6.4.
Jan de Muijnck-Hughes
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
2a7f9a4
Added missing libFFI dependency for Stack.
Jan de Muijnck-Hughes
11 years ago
372d2ea
Updated the stack configuration to LTS Haskell 5.5
Jan de Muijnck-Hughes
11 years ago
2987cbb
Update stack.yaml: curses flag was removed
Echo Nolan
11 years ago
b64f0fd
Remove curses dependency
Niklas Larsson
11 years ago
9de23d5
Fix stack --nix on OS X
Alexander Shabalin
11 years ago
60e11f7
Bump up the stack resolver version
Dmitry Tsygankov
11 years ago
796f3dc
Stack: Add the Nix package dependencies
Dmitry Tsygankov
11 years ago
f9e19d7
Bump up the stack resolver version
Dmitry Tsygankov
11 years ago
69846d9
Saner defaults for stack and revised installation instructions.
Jan de Muijnck-Hughes
11 years ago
9a82c0d
updated stack yaml
Tim Dysinger
11 years ago
b6d0eac
Add Stackage Configuration for easy building
Sam Elliott
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