1 files changed, 5 insertions, 0 deletions
diff --git a/home/zshrc b/home/zshrc
index 5b1f449..0aeb36c 100644
--- a/home/zshrc
+++ b/home/zshrc
@@ -111,3 +111,8 @@ case ":$PATH:" in
   *) export PATH="$PNPM_HOME:$PATH" ;;
 esac
 # pnpm end
+
+[ -f "$HOME/.ghcup/env" ] && . "$HOME/.ghcup/env" # ghcup-env
+
+# Elan / Lean4
+export PATH="$HOME/.elan/bin:$PATH"