Functional Programming in Scala (in Idris)

If scala was the only language I had to think in, I'd think functional programming was a bad idea that didn't scale, too.

-- Edward Kmett

It came from this comment on reddit

And he probably wouldn't suggest learning FP with Idris either...

Haskell is my favourite language, but I figured I would take the chance to try out Idris for something different.

These are my attempts to work through the exercises in [Functional Programming in Scala] fp-in-scala in [Idris] idris-lang