Noon van der Silk

I feel like I'm missing access to a crucial type variable. I want to write: ```haskell data ToHyper :: (Type -> Type) -> AHyperType -> Type where ToHyper :: f...

Why is jq being evaluated here in any case? Is there a way to just disable that? -- Edit: It's from here - https://github.com/nix-community/home-manager/blob/master/modules/programs/zed-editor.nix#L24

Yes, I did exactly what @epeery did. But in the end I got annoyed at typing my localleader twice, so I just changed my `agda_input_prefix` to `tab` 😀 I think...

Thanks for making this issue :) I'd honestly be happy/expect to see this pop up when running adding some verbosity to the commands; it's what I tried to do to...

Depending on your setup @andrewhamon you might be interested in something like this - https://github.com/hasura/graphql-engine/blob/master/.envrc#L59 - to source a local .envrc file.

> https://github.com/chrisbra/unicode.vim might also just have/be a superset of this functionality, but I haven't tried it personally It's not quite, because for example with the present setup here you can...

Here we go - https://github.com/silky/vim-agda-input It's just enough to be useful for me. I'm not sure if it's better to delete the code here in this plugin and then force...

i think it's unfortunate to not allow html styling. i understand that google may not want that, but i'd say that most companies actually don't have the same security concerns...

what ever happened here? anthing? @nfelt

FWIW @googleson78 one thing that occured to me thinking about this work here was that maybe a different way to approach it could be via a callback; so after the...