I've tried running that and although I can get basic things to compile, anything more complex and it just kind of keels over and dies, it needs more work. ^.^
But yes, Idris compiles to haskell by default.
LISP makes everything easier, until you really learn it you have no idea just how amazing it is. When it just 'clicks' one day and you are suddenly like "Uhh, lisp can do anything, and I don't mean in a turing sense, I mean anything and everything that any other language can do or is doing now or in the future is possible to do in lisp in an even shorter and more readable way... Why is this not more popular?!?", then you read why it is not popular and realize that once upon a time it was, but it was so popular and so powerful in the AI community that when the AI community died it took LISP with it. ^.^;
If not for that, I'd easily say LISP would be one of the most used language forms out.