On 28-04-2015 23:09, Mathieu Boespflug wrote: > [removing erroneous [email protected] from To list.]
(I'm not the person you're responing to. From the mail-headers, I can't see the person(s) you're responding to, but so be it.) Do you have evidence that your approach is superior, and could you please cite it? [Or, alternatively provide negative evidence for $OTHER_APPROACH.]) Regards, _______________________________________________ haskell-infrastructure mailing list [email protected] http://community.galois.com/mailman/listinfo/haskell-infrastructure
