#### Topic: Quitted Idris 1.0

Well, that is, it quitted one month ago, but for some reason anybody about it here did not write https://www.idris-lang.org/idris-1-0-released/ Tjutorial here: http://docs.idris-lang.org/en/latest/tu … index.html

You are not logged in. Please login or register.

Well, that is, it quitted one month ago, but for some reason anybody about it here did not write https://www.idris-lang.org/idris-1-0-released/ Tjutorial here: http://docs.idris-lang.org/en/latest/tu … index.html

Hello, jazzer, you wrote: J> Well, that is, it quitted one month ago, but for some reason anybody about it here did not write And what is it?

Hello, jazzer, you wrote: J> Well, that is, it quitted one month ago, but for some reason anybody about it here did not write So on 1st of April still quitted. I thought it to nobody interesting. And the book quitted Type-Driven Development with Idris very well written. P.S. Only it seemed to me that to prove theorems of programs on it inconveniently, for example in comparison with Lean theorem prover.

**Random topics**