Markus Wageringel

For me, the issue exists both with Ubuntu (18.04, Neovim, builtin terminal, Python 3.6.9) and macOS (10.13.6, Neovim, iTerm2, Python 3.7.6). The error message only appears on the second attempt...

No, I can reproduce the issue with an otherwise empty init.vim. I am using Neovim 0.3.1 and 0.2.2. Since the current implementation uses `strpart()`, which determines the length in number...

I have installed the current Neovim master, but the problem still remains when I visually select just the `π` character and press space. I am not using Tmux and am...

> > Therefore, by the second constructor of ∼ , we have f ̄ ( rat ( q ))( v ) ∼ e f ̄ ( lim ( y ))(...

Hi @fohfuu, thanks a lot for your detailed feedback. Indeed, designing level 1 is quite hard, as it can lead to players quickly giving up if it is too difficult...

Thank you for the feedback and for sharing the game with you friends. :) What you describe makes a lot of sense. I've been in the same situation myself. For...

The undecidable version of a strict total order is what is also known as [linear order](https://ncatlab.org/nlab/show/linear+order). It could be implemented as follows. ```agda Split : ∀ {a ℓ} {A :...

Thanks for your comments. Glad you enjoyed.

Thank your for sharing your thoughts and experience in such detail. I'm definitely open to the idea of adding more levels, so I appreciate your suggestions a lot. So far,...

> Were you able to identify the "balanced" and "bijective" options I suggested? Spoiler I think you were talking about complete residue systems that are different from the least. I...