> all the online resources on cubical type theory feel impenetrable. Same here.

		octoberfranklin on Nov 21, 2020 \| parent \| context \| favorite \| on: Why is dependent type theory more suitable than se... > all the online resources on cubical type theory feel impenetrable. Same here.