elan
from Lean
github
Nixで入れられる
$ nix-shell -p elan
hsでいうghcup的なやつらしい
rustupのforkらしい ref
そうなん？
elanを入れると自動でlakeも入る