1. 18 Mar, 2022 2 commits
  2. 10 Mar, 2022 3 commits
  3. 13 Jan, 2022 1 commit
  4. 10 Jan, 2022 1 commit
  5. 05 Jan, 2022 1 commit
  6. 29 Dec, 2021 2 commits
  7. 28 Dec, 2021 4 commits
  8. 27 Dec, 2021 2 commits
  9. 26 Dec, 2021 1 commit
  10. 17 Dec, 2021 6 commits
  11. 17 Nov, 2021 3 commits
  12. 16 Nov, 2021 1 commit
  13. 15 Nov, 2021 4 commits
  14. 13 Nov, 2021 1 commit
  15. 12 Nov, 2021 1 commit
  16. 14 Oct, 2021 4 commits
  17. 13 Oct, 2021 1 commit
    • John Ericson's avatar
      Pull `Additive` into its own module · 807269ff
      John Ericson authored
      The getting base-orphans instances indirectly via monoidal is a sin we
      were already committing. It is just properly documented now. I would
      rather fix it separately.
      807269ff
  18. 22 May, 2021 2 commits