1. 18 Feb, 2016 1 commit
  2. 14 Feb, 2016 2 commits
  3. 12 Feb, 2016 1 commit
  4. 10 Feb, 2016 1 commit
  5. 03 Feb, 2016 1 commit
  6. 16 Jan, 2016 1 commit
  7. 12 Jan, 2016 2 commits
    • Moritz Angermann's avatar
      Replace Oracle with IO Ref · f794e736
      Moritz Angermann authored
      f794e736
    • Moritz Angermann's avatar
      Preliminary working state · 5d4e1823
      Moritz Angermann authored
      This almost works. Yet we run into:
      ```
      Build system error - cannot currently call askOracle:
        Reason:          Within withResource using Resource ghc-cabal
        Question type:   OracleQ CmdLineFlags
        Question value:  OracleQ (CmdLineFlags ())
      Move the askOracle call earlier/later
      ```
      5d4e1823
  8. 10 Jan, 2016 1 commit
  9. 09 Jan, 2016 1 commit
  10. 05 Jan, 2016 1 commit
  11. 04 Jan, 2016 1 commit
  12. 03 Jan, 2016 1 commit
  13. 31 Dec, 2015 3 commits
  14. 28 Dec, 2015 3 commits
  15. 23 Dec, 2015 1 commit
  16. 22 Dec, 2015 1 commit
  17. 21 Dec, 2015 2 commits
  18. 20 Dec, 2015 3 commits
  19. 13 Dec, 2015 2 commits
  20. 12 Dec, 2015 1 commit
  21. 07 Dec, 2015 1 commit