Anthony Hunt

@cd155, I'm not sure how far you've gotten on this, but I think the Table of Contents section generator does something like this - it only displays sections that exist....

Yep, sounds good to me. Should each `ModelKind` function get its own unicode character as well? Edit: So would the first step be to make `UID` a `newtype`? Edit 2:...

Ahh okay, I see. > I believe the constructors should be taking a UID still. If `UID` turns into a `newtype`, would that require the user to give an input...

As a side note, while I was fixing alll of the `UID` things to work with `newtype`, I came across this: ```Haskell performance = dcc "performance" (nounPhraseSP "performance") "the action...

For constructors that take in one string and use it in multiple places, do we want it to only take a UID or just a String? ```Haskell -- | Helper...

For the `HasUID` class, what should the method be called (since we're using `uid` as a constructor now)?

Oh okay I see. I can try and see how far I get while using the same for both. I don't think there's any major problems with it inside of...

I switched the way I was going about doing this halfway through on another branch (`newtypeUID2`) and I'll probably continue on that one (rather than `newtypeUID`)

Should the `mkMultiDefn` constructor in `drasil-theory` take in a `String` or a `UID`? It's only being used as a helper for other multi definition related constructors but I'm not sure...

`analysis` takes a few minutes mostly because of the size and amount of dot graphs. The files (especially the `lang`, `code`, and `gool` packages) take a while to compile. The...