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