<div dir="ltr"><div>I have recently learned to program with CTT. I was trying to understand the consequences <br>it will have in programming. For now, I will just go back to my usual programming <br>but I would like to be notified when quotient types or Higher Inductive types are ready <br></div><div>so as to start using them as soon as possible.<br><br>For this reason, I propose that we create an issue to track the development of these features.<br></div><div><br></div></div>