3 ms·
Yes, I found the same and was very pleasantly surprised when I first learned about the ideas of cubical type theory.
by moi2388 5mo ago
Yes, I found the same and was very pleasantly surprised when I first learned about the ideas of cubical type theory.