antonio nikishaev

@dbuenzli just for the looks, they are written in the history. Not displaying them is not important I guess.

`M-\x0D` (macOS’ Terminal.app)

macOS port https://github.com/llelf/bx

@anton-trunov oops :) that's bug in my code. #202

Apparently even this is enough to break it! ```coq Definition all_same_size {A} (s t : seq A) := size s == size t. QuickChick all_same_size. (* Passed 10000 tests (0...

> The reason ⌥N fails is that the Dutch layout has registered this combination as a composite key. I know. But it’s still a bug.

> Depends how you look at it. Would you prefer to be able to define the shortcut but not be able to trigger it? I would expect it to just...

#42

@jystic Basically, yes. Sometimes it takes a considerable amount of time, yet you don’t care about any optimisations and would like to have it straight away.

@phadej, > So we cannot encode big Integers in scientific format, because it will break interoperability with Python. But it's already broken ```py >>> json.dumps(json.loads('10')), json.dumps(json.loads('1.0e1')) ('10', '10.0') ``` ```hs...