Code

Implement stimes for Doc#135

Code

Merged

sjakobi merged 6 commits intomasterquchen/prettyprinter:masterfrom 133-stimesquchen/prettyprinter:133-stimesCopy head branch name to clipboardJun 30, 2020

+23-1

Commits

Commits on Jan 25, 2020

• Implement stimes for Doc

  Show description for 44cc928
  sjakobi

  committed
  44cc928

• Try raising the lower bound on semigroups

  sjakobi

  committed
  d923265

• Expand catch-all

  sjakobi

  committed
  f5d6577

• Update stack-older-snapshots.yaml

  sjakobi

  committed
  ec0ba8b

• stack-older-snapshots.yaml: Use a more recent void

  sjakobi

  committed
  1f105ac

Commits on Mar 6, 2020

• Use let-in instead of where

  sjakobi

  committed
  71783f1