Hacker News new | ask | show | jobs
by octoberfranklin 2042 days ago
> all the online resources on cubical type theory feel impenetrable.

Same here.