Ok, but the site's first suggestion is to use Leiningen to install the koans. It links to a generic Leiningen installation page, but then doesn't tell you how t

Ok, but the site's first suggestion is to use Leiningen to install the koans. It links to a generic Leiningen installation page, but then doesn't tell you how to use it to install the koans. Unless they expect the new user to spend significant time learning about that tool before moving on to their koans, I think it'd really be much better to have a short how-to for that.