George4Tacks
Level 15

Did you use 4 for dependent type?

 


Answers are easy. Questions are hard!