Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Lean has `sorry` and Idris has `believe_me`. Recalling my math education, I would think the appropriate keyword would be `clearly`.


> Recalling my math education, I would think the appropriate keyword would be `clearly`

I prefer the slightly more ominous "surely".


"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!




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: