Jamie Willis

That said, what about instead of offering configuration we/Laika offer combinators? So something like: ```scala def relatedProjectsNavigation(prjs: (String, String)*) = ThemeNavigationSection( "Related Projects", prjs.map { case (prj, link) => TextLink.external(link,...

I somehow managed to completely miss your proposal being effectively identical to mine but more general 😂, yeah I'm in favour of that

Requires change of `TextDesc` to support `stringBeginEnd` pairs in some form, so that you have `("[[", "]]")` as a valid string specifier. As it involves the description API this will...

I think that we can actually add this via a non-breaking case. The idea is to have a _subclass_ `ErrorBuilder1` or something, that acts like the old `Revision` mixins but...

Wanted to weigh in on this (a bit late, I know!): I'd like to point out that `branch` might be a better abstract operation to support than `select`: * `branch[A,...

I have an implementation of a Diet in Haskell here: https://github.com/j-mie6/rangeset It has the balancing property, and also implements a faster union and intersection than the one `Diet` uses. Perhaps...

Feel like it might be worth highlighting a similar but alternative approach: https://www.cs.tufts.edu/comp/150FP/archive/jamie-willis/parsing-patterns.pdf with a Scala version available in https://dl.acm.org/doi/10.1145/3550198.3550427 (I can get a pdf on request). It is slightly...

I see. I'm actually of the mind that the greater expressive power is _nice_: is there any reason why we _wouldn't_ want that? I suppose it would make the case...

I think it's possibly better called commutativity? Yes, this is one law I have listed down for `branch` in my PhD thesis.

I think it is probably the case that there are no examples of Selective functors that _cannot_ implement `branch` with the property we want right?