Jacques Carette

I think we need a `SystemDescription` for most things. It's not quite an SRS, but it's much too close. #1086 touches on that somewhat. Right now, Drasil is very focused...

I encountered a [really nice paper](https://arxiv.org/abs/2205.13419) from the point of view of *knowledge capture*: while the paper is ostensibly about citation patterns, it is also about metadata: what are the...

I'm sure you're right, but I don't understand why details of a derivation would be needed to generate code? Most definitely, the above lines are wrong, `pendDisplacementAngle` should not be...

I think the technical ideas on the database side are sound. I'm going to want to work on the names of the functions provided by this, but that's not too...

We really don't want to do reflection in Haskell. A lot of this stuff in Java is really meta-linguistic (i.e. outside the actual language). I want to stay within Haskell...

I don't necessarily want to put databases inside databases, but I think that creating a "current database for this example" from a collection of other databases, that's definitely a good...

```haskell register :: (HasUID c, TypeRep c) => c -> ChunkDB -> ((), ChunkDB) ``` can be seen as ```haskell do db

There will be explicit gathering in `drasil-data`. There can be implicit gathering from SRS specifications. Also, we don't want to call `modify` directly, we want to have our own functions...

No, I don't have such a design. I don't think it would be easiest to do it at the same time, as it's going to have serious repercussions for the...

Well, `` typically occurs when you have a definition in terms of itself, in ways that require information that is not available yet.