Archived tweet #10119 from the @leastfixedpoint Twitter Archive

@DRMacIver Module systems still seem really murky to me (with the exceptions of the ML family, where they're incredibly well studied & precise). Matthew Flatt has been doing some great work on the Racket impl which I guess will be published soon, fsv of soon. Looking forward to it.