HoTT book reading group started with the appendix to establish foundations. Tried A.2.8 (unit type) for something simple. Oops.
@pigworker @bishboria Interesting... I was hoping to come along but couldn't today. Still, "Too large" is a better problem than "Too small".
-
-
@edwinbrady@bishboria True, and fairly diverse in experience and interest. Although, no maths-but-not-really-cs(-yet?) people.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@pigworker split the big group into 2 or 3 smaller ones, maybe? -
@bishboria@edwinbrady 's a thought. Selfishly, I'm enjoying James McKinna's helmsmanship.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.