ohtt icon indicating copy to clipboard operation
ohtt copied to clipboard

Sum types

Open mikeshulman opened this issue 3 years ago • 0 comments

  • [ ] ap-case
  • [ ] refl-case
  • [ ] tr
  • [ ] lift
  • [ ] utr and ulift

mikeshulman avatar Jul 05 '22 20:07 mikeshulman