7 ms·Point-free paths sound similar to cubical type theory from HoTT. Is there a relation? Great work!by _fq4v 6y agoPoint-free paths sound similar to cubical type theory from HoTT. Is there a relation? Great work!