1. 19 Feb, 2016 2 commits
  2. 18 Feb, 2016 1 commit
  3. 14 Feb, 2016 2 commits
  4. 12 Feb, 2016 1 commit
  5. 10 Feb, 2016 1 commit
  6. 03 Feb, 2016 1 commit
  7. 16 Jan, 2016 1 commit
  8. 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
  9. 10 Jan, 2016 1 commit
  10. 09 Jan, 2016 1 commit
  11. 05 Jan, 2016 1 commit
  12. 04 Jan, 2016 1 commit
  13. 03 Jan, 2016 1 commit
  14. 31 Dec, 2015 3 commits
  15. 28 Dec, 2015 3 commits
  16. 23 Dec, 2015 1 commit
  17. 22 Dec, 2015 1 commit
  18. 21 Dec, 2015 2 commits
  19. 20 Dec, 2015 3 commits
  20. 13 Dec, 2015 2 commits
  21. 12 Dec, 2015 1 commit
  22. 07 Dec, 2015 1 commit