In case anyone else is wondering… it won’t be too much longer, but it’s out of my hands now! https://www.reddit.com/r/Idris/comments/5rpy3o/book_release_date/ddf420k/ …
The current Idris is fairly stable, as far as the language goes. We’ll call it 1.0 as a promise to try to stay compatible!
-
-
I don’t think we can promise any more, alas, given our resources, but I hope that promise has at least some value…
-
Sounds good - cool to hear the language has reached a pretty stable state. Looking forward to the book, great job!
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.