[Agda] Sharing --- Q-combinators

[Wolfram Kahl]

On Wed, Oct 10, 2012 at 09:58:47AM -0700, wren ng thornton wrote:
> On 10/10/12 10:42 AM, Wolfram Kahl wrote:> On the code sprint page of the
> > [...]
> > Have you heard of John Harrison's Q-combinators?
> > [...]
>
> I hadn't heard of Q-combinators before (reference?),

I think I had seen them mentioned somewhere;
in any case I looked at them only in the source code of HOL-light...


Wolfram