To be fair, the book isn&#x27;t complete yet and it hasn&#x27;t nearly reached 1.0 yet. Some other listed languages are at similar stages of development, like Nim, Crystal, Ceylon, Elm, and Julia (in fact, a few of these seem closer to a production-ready product than Idris does). I assume most of these will be removed after an official 1.0 launch.