4 ms·> all the online resources on cubical type theory feel impenetrable. Same here.by octoberfranklin 6y ago> all the online resources on cubical type theory feel impenetrable. Same here.