Steffen Ohrendorf

Just thinking, what about +Inf?

It's lacking the specification of `operator operator`.

What about `operator ...() => { print("hello world")! }`?

I just realised this can be applied to whole files by prepending the filename or folder with a tilde.

> What if something's so important you gotta add 80+ exclamation marks at the end? And what about the objectively superior and totally readable form of code: one-liners? If you...

Doesn't it run faster when your lines are shorter?

Interesting idea. I like `;delete` instead of `undelete` or `restore` or `recycle` or whatever keyword, although personally I would prefer `-delete`.

```java const const halts = false! while(;halts) { print("goedel was right")! } print("goedel was wrong")! const const halts = true!! ```

Can I do something like `delete RegExp!` to delete all temporary identifiers in the next 3 lines?

Closing this as it's probably some issue with the host system itself, and noone else has reported something similar on any platform. Feel free to re-open if you have more...