Jacques Carette
Jacques Carette
Nice finds. We need to have a more integrated narrative, so that most pages ought to be reachable without the use of the sidebar. I'm not surprised though, as we...
What is `getTypeString` used for? The name gives a clue, yes, but where is it actually called and for what reason? Maybe the reason is not good enough. And maybe...
Since `GOOL` is supposed to be a renderer, the `typeDoc :: Doc` parameter is the main one. Also having a parallel `String` seems like a hack (which I'm sure I...
As per meeting, there needs to be an analysis-synthesis-implementation pass done for this.
It is meta with respect to the purpose of Drasil (generating scientific code) because it is data necessary for Drasil's functioning.
> [meta]data is just data. Agreed. And meta-programs are (just) programs. > However, thinking of some data is meta and some as non-meta is helpful, but deciphering what is/is not...
So I'm going to let @jmougeot know that he can go ahead and submit PRs to continue this - but single-file PRs for this, as I suspect some of them...
Part of encoding knowledge in Drasil is to figure out what is needed now, and some of what is likely needed in the future. Being encyclopedic is most definitely not...
We ought to be able to fix design mistakes! I participated in one release of Maple where we fixed a lot of design mistakes. Users grumbled for a bit, and...
The question is: are design bugs considered bugs? And what's the line between a design bug and a sub-optimal design?