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