GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → domdere → fp-in-idris

domdere / fp-in-idris

Licence: other
Functional Programing in Scala (in Idris) [Idris]

Programming Languages

Idris
72 projects

Functional Programming in Scala (in Idris)

Gitter chat

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

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].