1. 06 Aug, 2017 1 commit
  2. 04 Aug, 2017 1 commit
  3. 27 Jul, 2017 1 commit
  4. 26 Jun, 2017 1 commit
  5. 30 Oct, 2016 1 commit
  6. 18 May, 2016 1 commit
  7. 17 May, 2016 4 commits
  8. 16 May, 2016 2 commits
  9. 10 May, 2016 1 commit
  10. 05 May, 2016 4 commits
  11. 02 May, 2016 1 commit
  12. 30 Apr, 2016 2 commits
  13. 26 Apr, 2016 1 commit
  14. 21 Feb, 2016 2 commits
  15. 20 Feb, 2016 1 commit
  16. 17 Feb, 2016 1 commit
  17. 16 Feb, 2016 5 commits
  18. 02 Feb, 2016 1 commit
  19. 15 Jan, 2016 3 commits
  20. 14 Jan, 2016 3 commits
  21. 12 Jan, 2016 3 commits
    • Moritz Angermann's avatar
      Replace Oracle with IO Ref · f794e736
      Moritz Angermann authored
      f794e736
    • Moritz Angermann's avatar
      Adds Pony · 5dd8bbb0
      Moritz Angermann authored
      This fixes #92 for good.
      Together this fixes #134 almost entirely.
      5dd8bbb0
    • 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