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 bac

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.