Luc Chabassier

Another solution, more flexible but less automatic, is to support `JULIA_CONFIG_PATH`, `JULIA_ARTIFACTS_PATH`... environment variables the same way there is `JULIA_DEPOT_PATH`. If the environment variable is unset, we keep the actual...

Thanks for the quick answer ! Unfortunately, it made no difference, I got the same error again.

All previous pragmas of the form `#PRAGMA...` are still supported as `(;# PRAGMA ... #;)`, making it easy to update tests.

While I think this is interesting and a good idea, I believe it may be better for it to be in another repository. Maybe something like `https://github.com/nix-community/nix-environments`, but for editors...

If you're using an official base16 theme, you can do : ```nix { config, lib, ... }: { programs.nixvim = { colorschemes.base16 = { enable = true; useTruecolor = true;...

I'll probably open a PR at some point, but for the moment you can copy [this](https://github.com/dwarfmaster/home-nix/blob/nixvim-setup/profiles/hm/programs/neovim/plugins/nix-colors.nix) to set it up. Another advantage is that you can just set lualine theme...

The type is a type for derivations in ETT, which you can find [here](https://github.com/dwarfmaster/ett-in-lambdapi/blob/master/ETT/main.lp) (it's the type `der`). I wasn't aware of the `inductive` command, but I just tried it...

Oh I didn't think to use the `let ... in ...`. This is actually close enough to what I was requesting. Yeah I noticed that about the order, but it...

I will try again with the master version then. Still, even in this case, it is strange it fails to unify `τ_s s ≡ S` since it has as hypothesis...

I did try to minimize it, but for some reason I couldn't reproduce the explosion on small terms. Maybe I'll give it another go next week.