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.
kaos 928ff92e25 add solution from strategy2.500M 9 years ago
sample_problems statistics for tags 9 years ago
solutions add solution from strategy2.500M 9 years ago
src power phrases fixes 9 years ago
submitted even more submissions 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 cas fix 9 years ago
filterResults.py new solutions 9 years ago
getStats more vm refactoring 9 years ago
icfp2015.cabal added Masterpf 9 years ago
index.html initial commit 9 years ago