Comment by theresistor

I'm interested to know why I would want to learn Lean if I'm already familiar with Idris.