- Jan 04, 2016
-
-
Yuanle Song authored
- enabled ghc -O2, I don't know what's the default. - upload via i234 is faster than direct upload.
-
- Dec 31, 2015
-
-
Yuanle Song authored
-
- enabled ghc -O2, I don't know what's the default. - upload via i234 is faster than direct upload.