Code

Derive MonoidK hierarchy#342

Code

Merged

joroKr21 merged 5 commits intotypelevel:dottytypelevel/kittens:dottyfrom TimWSpence:monoidk-hierarchyTimWSpence/kittens:monoidk-hierarchyCopy head branch name to clipboardMay 20, 2021

+95-1

Commits

Commits on May 20, 2021

• Derive SemigroupK

  TimWSpence

  committed
  be1f546

  Copy full SHA for be1f546

• Derive EmptyK

  TimWSpence

  committed
  800d213

  Copy full SHA for 800d213

• Derive MonoidK

  TimWSpence

  committed
  8848483

  Copy full SHA for 8848483

• Merge remote-tracking branch 'upstream/dotty' into monoidk-hierarchy

  TimWSpence

  committed
  0aed106

  Copy full SHA for 0aed106

• Remember what alphabetical order is

  TimWSpence

  committed
  ed6b27b

  Copy full SHA for ed6b27b