22:55
<bakkot>
nicolo-ribaudo "Deferred import evaluation: deferred re-exports" still needs its conclusion in the notes
22:55
<bakkot>
also everyone else please fix up your notes