Post #2636096
2026-05-07 11:55 UTC
@mc@mathstodon.xyz @JacquesC2@types.pl
Honestly this library is not documented for use by people outside of my lab rn. When we upstream stuff to cubical we clean things up and document them more
Replies (1)
-
@JacquesC2@types.pl 2026-05-07 11:58
@maxsnew@types.pl @mc@mathstodon.xyz Yeah, I should have warned Matteo that your library requires serious archeological skills to peruse on one's own! Having said that, Matteo definitely has the categorical chops to "get" what you're doing -- more so than me, frankly.