3 ms·
It is my understanding that HITs are just as easy to integrate into non-homotopy type theories as they are to HoTTs.
by orangea 4y ago
It is my understanding that HITs are just as easy to integrate into non-homotopy type theories as they are to HoTTs.