Open robrix opened 5 years ago
It’d be helpful to have a mode which times the elaboration of declarations & modules.
It’d be helpful to have a mode which times the elaboration of declarations & modules.