Vance Palacio

Hmm, I see what you're saying. I think in a world where each mdbook site only supports one runnable language, this change makes sense in the sense that `book.js` sort...

I'm really interested in getting this feature going - Mdbook is great but it'd be nice if we could hook into other playground code editors (like purescript, haskell, etc). I...

Ah no, I haven't done it yet lol, mainly just due to laziness and I was in a music writing flow at the time lol. I just read the guide...

Ok, icons and colors have been added to the shreddage 3 articulations!

> OK. In light of the last comment, let me revise the error message a bit: > > ``` > lib/Reactive/Banana/Orphans.hs:36:28: error: > • Illegal instance declaration for > ‘HasField...

How about one of these alternatives. It cuts down the word count a little, and maybe is a little more to the point? ``` Assoc.hs:20:8: error: A default equation was...

I was thinking about this a little more, and realized this still might not be explicit enough to address the original ask of the ticket. What if we did something...

> Interestingly, the associated type family declaration is redundant; we could imagine changing the syntax so that an associated type family default declares the type family at the same time....

I like that the NB makes it explicit that the `type foo = bar` pattern is the creation of a type default, but I think its probably easy enough for...

> IMHO, I believe would help to add this "Expected a Foo, but got a Bar" to the existing message (probably as a prefix), keeping the rest of the message...