Jacques Carette

On `drasil-data`: it is a "database", done as a set of Haskell files that contain only declarations of 'chunks'. The 'chunk' part is not so important, the important part is...

> where should we define how encodings get printed into other? An excellent question indeed! What you are witnessing here is a very long evolution, much of it in parallel,...

On `drasil-database` and `SystemInformation`: the fundamental problem here is that we don't have a good explanation of what these ought to be. And certainly they were created before our current...

There's a whole lot more content in this issue, but I think the spun-off issues, and the comments above, already are a lot of work. So when that flurry dies...

These discussions are getting too big - it would make sense to start new issues when the commentary is going to be more than just a few lines. Re: printing...

Re: `drasil-database`, etc. We have a currently adequate explanation of `ChunkDB`: it's a container of things with UIDs. Note that that's probably the full explanation as well, which is perhaps...

Ok, commenting on each part. [Excellent investigation BTW] **Code Investigation** - sysinfodb is indeed supposed to be a "database of all information about the system" - usedInfodb is supposed to...

@smiths the kinds of refinement I was thinking of are "theory specialization", when you take a generic theory and instantiate some of its parameters to something more specific [and often...

@smiths I think we should have a meeting about this. Might even make sense to have an all-hands?

It didn't. This is still an issue that is quite open.