Lean 4, Idris 2 安裝

curl https://raw.githubusercontent.com/Kha/elan/master/elan-init.sh -sSf | sh
elan default leanprover/lean4:nightly

brew install idris2
nix-env -i idris2