aaronmlevy

``` from typed_python import ListOf x = ListOf(str)(['a', 'b', 'c']) x.remove('b') ``` returns ``` AttributeError: 'ListOf(str)' object has no attribute 'remove' ```

Syncing to existing, running ipynb on remote server

3

**Describe the bug** When I host a Jupyter server + Neovim on a remote server and then connect with port forwarding on Firefox to my client machine, I cannot sync...

**Is your feature request related to a problem? Please describe.** Jupynium sync over ssh works is slow when you make a lot of jupynium_events, e.g., when typing many characters or...

Neovim hangs when inserting text into a synced file

3

The response on the browser is nearly instant when scrolling in normal mode on neovim. Also, in normal mode, neovim responds nearly instantly. But when adding text, i.e., in insert...