I meant more “what are you actually completing?” And “how much?” I haven’t found the completions to be particularly helpful. For instance, I’m often fighting i

I meant more “what are you actually completing?” And “how much?” I haven’t found the completions to be particularly helpful. For instance, I’m often fighting incorrect array indices and slices, pulling out magic numbers into variables, decoding some one-liner completion, or figuring out what’s usable and what I need to cut out and replace in a larger block. What’s really struck me is how much I really want Agda style hole-filling completion. I want to just be able to type a variable name and have it destructure cases for me. That happened a few times, and it was really nice. I’d forgotten how nice it was to be able to do that in Agda. I want that everywhere. Also, just noticed who you were, I really enjoyed some of your Lisp books.