4 ms·
Lean has `sorry` and Idris has `believe_me`. Recalling my math education, I would think the appropriate keyword would be `clearly`.
by dunham 2y ago
Lean has `sorry` and Idris has `believe_me`. Recalling my math education, I would think the appropriate keyword would be `clearly`.
- naasking 2y ago> Recalling my math education, I would think the appropriate keyword would be `clearly` I prefer the slightly more ominous "surely".
- Nevermark 2y ago"Obviously" casts a nice aspersion upon anyone so uncouth as to question its validity. Of course, any junior member of a team that is willing to stand up and state that, no, the assertion is anything but obvious to them, should get an immediate promotion, and be quickly moved to another group!