By the way, since people often ask: this is more about the concepts than the details. Idris 2 is coming (eventually) but the content of the book will still be relevant.
-
-
Show this thread
-
Also I've tried writing a book once and I'm not daft enough to do that again. (If you see this in a QT in 2025, assuming the world is still here, please feel free to mock me.)
Show this thread
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.