git.iko.soy/Idris-dev
on master help sign in
Add Stackage Configuration for easy building
b6d0eacSam Elliott
.gitignore+1
compare with master
unifiedsplit
@@ -28,3 +28,4 @@ test/*[0-9][0-9][0-9]/*.exe
28tags
28tags
29TAGS
29TAGS
30src/Version_idris.hs
30src/Version_idris.hs
31+.stack-work
stack.yamlnew file+6
@@ -0,0 +1,6 @@
1+flags: {}
2+packages:
3+- '.'
4+extra-deps:
5+- cheapskate-0.1.0.4
6+resolver: nightly-2015-07-24