@propensive You know that's really _not_ a April Fools joke, don't you ;-)
Chatting to @milessabin about Shapeless 3! His new kind-level abstractions are very cool! Work to do adding higher-sorted kinds to TLC, tho.
-
-
-
@milessabin You just reified my excitement... which is kind of ironic... ;) - Show replies
New conversation -
-
-
@propensive@milessabin the HoTT "Homobidulic Truc Theory" named it "Higher-Stuffed Things" -
@mandubian@propensive shapeless 4.0 will be expressed in PaTT ... Pataphysical Type Theory. - Show replies
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.