Jacques Carette

Main gen, but also these comments are mainly generic about many of the diagrams: - IO() is not a function (so shouldn't be in a rectangle); it's not quite data...

Reading further down: the "more abstract" diagram copied from Recipe Wiki is indeed mildly better. It doesn't go deeply enough, but at least it's at the level of the meaning...

The Chunks/Knowledge diagram is more useful - but it should be automatically generated. The summer students provided various tools that output the necessary information to get here. Much more useful...

I'm afraid that's not helpful. Plus many of those 'translators' do really very different things. Some of them are pure constructors, while others do significant work. The general investigation is...

The module dependency graph is automatically generated and already on the web site, right? The "building Drasil" remains not so informative, as the "snake" is just a topological sort of...

I'm not surprised the graph on the wiki is very out of date. I was thinking there was one on [the main site](https://jacquescarette.github.io/Drasil/) but there isn't. Also: the graph would...

Good points @balacij .

Right now, in most of the code, we treat such 'dependent variables' as if they were numbers, even though they depend on other variables. When we introduce vectors (like X),...

(Sorry for not replying earlier) Once we move to having just theories, linked by refinement, then we can basically make some refinements be visible in the recipe for the SRS,...

I'm not a big fan of introductions that start at quite so high a level, removed from the actual topic (i.e. the first 1/2 of your first paragraph). I would...