ohtt icon indicating copy to clipboard operation
ohtt copied to clipboard

Published 20 hours ago • verified publisher icon mikeshulman

Integers

Open mikeshulman opened this issue 3 years ago • 0 comments

We have a separate type of integers to make things easier for our summer 2022 exercises.

  • [x] encode-decode, decidable equality, sethood
  • [ ] ap and refl on the constructors
  • [ ] ap-intcase
  • [ ] refl-intcase
  • [ ] tr
  • [ ] lift
  • [ ] utr and ulift

mikeshulman avatar Jul 05 '22 20:07 mikeshulman