coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq CPU recommendations

From: David MENTRE <dmentre AT linux-france.org>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq CPU recommendations
Date: Thu, 18 Jun 2015 08:18:08 +0200

Hello,

Le 18/06/2015 00:19, Pierre-Marie Pédrot a écrit :

We were considering to switch to HAMT, but I did not have time to test
this yet...

Before doing any deep development, wouldn't it worth evaluating the current situation with specialists in processor architecture? For example ALF team (https://team.inria.fr/alf/) at INRIA Rennes.

Best regards,
david

Re: [Coq-Club] Coq CPU recommendations, (continued)