> Anyone else finding this documentation is pretty hard to navigate? I can't speak to these docs in particular, but I think documentation regarding type-system

> Anyone else finding this documentation is pretty hard to navigate? I can't speak to these docs in particular, but I think documentation regarding type-system in general can be hard to digest. And it probably varies by reader. E.g., some people find "The Little Typer" [0] to be a wonderful intro to its topic. Personally, I find the writing style impenetrable. > Makes me think this isn't a serious language, but rather an academic toy or resume builder. If the documentation turns out to be useless to the majority of readers, then you might be right that it's a sign of under-investment. I'm not sure if that's happening here. There was a good interview on Corecursive [1] about Idris, so IMHO that's some evidence that some people are serious about the language. [0] https://mitpress.mit.edu/9780262536431/the-little-typer/ https://mitpress.mit.edu/9780262536431/the-little-typer/ [1] https://corecursive.com/006-type-driven-development-and-idris-with-edwin-brady/ https://corecursive.com/006-type-driven-development-and-idri...