ohtt icon indicating copy to clipboard operation
ohtt copied to clipboard

Published 20 hours ago • verified publisher icon mikeshulman

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