fix length
fix
test code reduction
add test cnf
add test cnf
skype session changes
added a space to test email verification
genIntList
clean up parser code and add type signatures
Added property testing for permutations
Merge branch 'master' of https://github.com/martyn82/SST
added parser to deliverable
Fixed property testing for permutations (isPermutation) == (property)
Merge branch 'master' of github.com:martyn82/SST
Added random list length testing for permutation property testing
Removed linux file reference thing, they don't work on Windows :(
Merge branch 'master' of https://github.com/martyn82/SST
Fix permutation test using intersect'
Delete week2.hs
Changed symlinks to actual copies of files (because Windows does not understand them)