Comment on Idris, a language that will change the way you think about programming (2015)Comments−jonathonf10yDoes anyone know whether Idris is a response to Haskell's 'Foldable' controversy?It looks like it was released in 2012 on hackage but I don't know how far back 'Foldable' was envisioned.−tome10yIt is not.
Comments
Does anyone know whether Idris is a response to Haskell's 'Foldable' controversy?
It looks like it was released in 2012 on hackage but I don't know how far back 'Foldable' was envisioned.
It is not.