@edwinbrady The latest TyDD-with-Idris MEAP has outdated welcome text and contents table.
-
-
in particular I've asked them to fix the table of contents but something is getting lost somewhere, somehow…
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Okay. Glad to know. Thanks. :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.