Archived tweet #7277 from the @leastfixedpoint Twitter Archive

@rogersm @coreload Yes and no. Sequential fragments are typeable with traditional machinery; noone knows how to type dist. sys. yet.