:-)
I pulled the discussion back here. When we settle on a design,
we can put it in the issue tracker. If there's a big intermediate
discussion with competing alternatives, I like to put it in a wiki.
- Bob
> --
> You received this message because you are subscribed to the Google Groups "stan development mailing list" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
stan-dev+u...@googlegroups.com.
> For more options, visit
https://groups.google.com/d/optout.
>