George4Tacks
Level 15
04-05-2022
05:39 PM
- Mark as New
- Bookmark
- Subscribe
- Permalink
- Report Inappropriate Content
Did you use 4 for dependent type?
Answers are easy. Questions are hard!