SUPER excited about Dream Askew/ Dream apart. Thank you so much!! And not not excited about homotopy type theory 😂 looking forward to giving it a read!
SUPER excited about Dream Askew/ Dream apart. Thank you so much!! And not not excited about homotopy type theory 😂 looking forward to giving it a read!