-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hi Noah,
On 09/26/11 00:33, Noah Lavine wrote:
> I thought of another use-case, and I wonder if you think this is
> on-topic or not:
>
> - You write a parallel version of map that is fast, but only
> correct if its argument has no side-effects. You'
> I'm also interested in what Stefan Tampe is doing, because I believehe's
implementing a
> formal logic system in Guile. Stefan, does yourproject connect to this
one?
Yes I'm implementing the leanCop first order logic prover. Now this might
not be the same
as implementing a new Coq system. I don'
On 26 September 2011 19:11, Marijn wrote:
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA1
>
> Hi Noah,
>
> On 09/26/11 00:33, Noah Lavine wrote:
>> I thought of another use-case, and I wonder if you think this is
>> on-topic or not:
>>
>> - You write a parallel version of map that is fast, but o
Hello!
On Sun 25 Sep 2011 22:34, l...@gnu.org (Ludovic Courtès) writes:
> Mark H Weaver skribis:
>
>>> commit d851e32fdc3d14804108f0389faa75a57599ced4
>>> Author: Andy Wingo
>>> Date: Fri Sep 23 18:02:05 2011 +0200
>>>
>>> prevent propagation for memory-dependent operations like `car'
>>>
