Greg Werbin

> Testing the `make` parts is probably going to be difficult, since it is so system-dependent. Indeed, the best (only?) way to test building Idris itself might be in a...

Hi @CodingCellist ! Sorry, I've gotten totally bogged down in "real life" things and haven't so much as thought about this. If you feel comfortable with the change as-is, then...

You definitely shouldn't have `pyenv` in your `.zshenv`. See http://zsh.sourceforge.net/Doc/Release/Files.html#Files for an explanation of which files are sourced when.

For what it's worth I actually have Pyenv in my Zshrc. The modified path gets inherited by subshells and I never seem to have a problem. That said you could...

@Akronix that's because your `PATH` probably isn't set in Zshenv. As I mentioned, I strongly do not recommend initializing Pyenv in Zshenv. Zshrc is the correct location, from the perspective...

What's the workaround for the original issue? Overriding the model `.dict` method is pretty hacky because it affects *other* usages of the model. It seems like the only solution is...

Thanks to Blacksmoke16 on Gitter/Matrix, I learned that this is because of a maybe-overly-strict default in Shards (https://github.com/crystal-lang/shards/pull/493), that causes the `json_mapping` and `lsp` shards to be inadvertently incompatible with...

The Clasp Externals also fail to install on my machine, MacOS 11.6 (Big Sur). I ran `xcode-select --install`, and I installed Roswell using Homebrew. ``` % uname -a Darwin 20.6.0...

I think the main issue right now is that the nyaovimrc options are not documented.

Just throwing my 2 cents in as a happy Cython user, this would be a great feature for developers of other libraries who want to use Cython either to implement...