balacij

Yep, that sounds good me. I just [posted](https://github.com/JacquesCarette/Drasil/wiki/Guidelines-for-Adding-New-Types-and-Typeclasses-in-Drasil) it. @JacquesCarette's [Information Encoding](https://github.com/JacquesCarette/Drasil/wiki/Information-Encoding) would probably be a good area to link to it as well, or possible moving it into entirely....

> To me, this says that an ADT-based solution for ModelKinds seems to fit best. I thought that I understood what you had written earlier, but now I feel I'm...

> In the web world, URIs are a 'solution' to provide addresses for resources. Related are URNs. > Although URIs and URNs are encoded as strings, they possess a grammar...

> If by "formation", you mean the context in which they were formed, then yes. We should proceed very carefully - we don't want to stuff too much information in...

> Note: I've disliked our use of 'chunk' for > 3 years now. When we started ~7 years ago, it made sense, since our thinking was along the lines of...

> While I'm quite keen on "knowledge fragment", I'm also quite aware that "knowledge" has been mis-interpreted (and it's vague). So I'm still trying to figure out good terminology. I...

Now, assuming we want UIDs to denote a single statically typed fragment, what should the UIDs look like? I think the exact version of a UID that we want in...

Finally, with those 2 above comments, and a few meetings ago where we briefly discussed how chunk building works, it somewhat seems like having a DSL for creating Drasil chunks/fragment...

Thank you, this is very helpful, and thank you for the corrections! Regarding fully understanding what a knowledge fragment is, I get a vague sense that Drasil is on its...

_Some_ follow-up notes from the Friday meeting, specifically w.r.t UIDs: - UIDs are ~~used~~ placed everywhere, but they are used very seldomly. - We use UIDs for testing sameness. E.g.,...