Neil Vyas

re-order the vending machine example

1

I think this ordering makes more clear that developing total state machines in idris looks something like 1. represent the state with an enumerated type (or something more complicated) 2....

This definition won't have its docstring previewed: ```python def f(a): # type: (int) -> int """Bars the foo. """ return a + 3 ``` [PEP-484](https://www.python.org/dev/peps/pep-0484/#suggested-syntax-for-python-2-7-and-straddling-code), specifically the section for syntax...

### How are you using the lua-language-server? NeoVim ### Which OS are you using? MacOS ### What is the issue affecting? Other ### Expected Behaviour 1. Results should only come...

Update set_option calls to use the recommended APIs

1

I was having an issue where fillchars would be overriden when I exited zenmode. It turns out that this was actually an issue in another plugin---I had ZenMode change colorschemes...

Let's say that I want to have one `vBar` chart with the bars having different colors, say, so I can do something like this (but flipped horizontally):  It seems...

Address duplication in the test suite

1

As discussed in #21 and #22, when we handle "nested" popups, we need to account for the parent window being either a Detour _or_ any other sort of popup. As...