You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Slash ee6b45fffc strategy1 fixes 9 years ago
sample_problems statistics for tags 9 years ago
solutions new solutions 9 years ago
src strategy1 fixes 9 years ago
.gitignore added haskell gitignore 9 years ago
LICENSE major vm refactoring 9 years ago
Setup.hs major vm refactoring 9 years ago
calculateAndSubmit ad strategy name to solutions 9 years ago
filterResults.py new solutions 9 years ago
getStats more vm refactoring 9 years ago
icfp2015.cabal removed unused json dependency 9 years ago
index.html initial commit 9 years ago