Owen Lynch on Nostr: nprofile1q…d6kk0 By the way, is there a concise way of explaining the difference ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 (nprofile…6kk0) By the way, is there a concise way of explaining the difference between locales and a module system? My understanding is that locales support a poset of implicit conversions, and also support extension; is there some way of understanding locales that makes these obvious features rather than just a grab bag of addons to a module system?