Archived tweet #2011 from the @leastfixedpoint Twitter Archive

@jdanbrown @aaron_turon Ulp. That thesis looks *well* scary. I like the idea of declaring control structures w each data type though.