Archived tweet #11970 from the @leastfixedpoint Twitter Archive

@dustingetz @geoffreylitt Cool! Serrano and his group have done a lot of neat stuff around Hop over the past couple decades; the original paper cites an early version of Links as particularly related, but I don't know if later evolution of that language is still multitier in the same way.