I wouldn't associate having to use `Lwt_main.run` with “a limited background in programming”, but maybe that's just me.

I usually structure teaching the same way done in https://www.writethedocs.org/videos/eu/2017/the-four-kinds-o.... So "the Quick Walkthrough Guide will explain what dk scripts are and give you small examples to run" is simply a learning-oriented tutorial which is mostly about giving students confidence and visual feedback. And simultaneously it an explanation of nothing (the video has a great explanation for why to do that). So, I agree that an explanation of threads + Internet + cross-compilation would quite nuts, but for an experienced developer I'd expect to see a meaty example (take a look at https://ziglang.org/ for comparison).

One concrete action may be to make two distinct Quick Start guides ... one for the experienced and one for the inexperienced students though. Is that your thinking?

	▲	filoleg 6 days ago \| parent [-]
		You are totally fine, the grandparent comment is just either needlessly nitpicking (“great is the enemy of the perfect”) or misunderstanding what the tool is supposed to be used for. P.S. Your idea of having two distinct quick start guides (one that goes into the meaty details and another one that is just “run this command and you are good to go”) is great. But imo it is not necessary/crucial, and not having it doesn’t detract from the value proposition of your tool at all either.