And thanks to @jfdm, we have have HTML and EPUB documentation: http://www.idris-lang.org/documentation/
-
-
-
@edwinbrady@jfdm I thought you were about to say HTML and EPUB back ends...
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.