Thanks a lot for that Adam.
Glad to hear I wasn't too far off the right track :-)
Regards,
- Lyndon
On Thu, Jul 4, 2013 at 5:34 PM, Adam Gundry wrote:
> Hi,
>
> On 04/07/13 02:19, Lyndon Maydwell wrote:
> > I'm wracking my brain trying to figure out a simple, reasonably general,
> > impleme
Hi,
On 04/07/13 02:19, Lyndon Maydwell wrote:
> I'm wracking my brain trying to figure out a simple, reasonably general,
> implementation for a category instance for pairs of categories.
>
> So far I've looked at [1], which seems great, but doesn't use the
> built-in category instance, and [2], w
