ohtt
ohtt copied to clipboard
Integers
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