> In the case of functional programming, programs written in other languages feel like ad hoc pre-civilization constructions, doing arithmetic by counting pebbles.

> Idris 2 is itself a joy to learn, if one wants a smaller, cleaner Haskell without the 47,000 compiler options.

From a conceptual point of view, Idris makes Haskell look similarly crude.