Use Lean directly from NixOS repos instead of elan

Changes

1 changed files (+0/-1)

• fish/config.fish
  • @@ -33,4 +33,3 @@ set -gx CARGO_HOME ~/.local/share/cargo
    # Trailing : is necessary! # https://docs.julialang.org/en/v1/manual/environment-variables/#JULIA_DEPOT_PATH set -gx JULIA_DEPOT_PATH ~/.local/share/julia: - set -gx ELAN_HOME ~/.local/share/elan