[hacspec] hacspec syntax

[Adam Chlipala]

One small suggestion for Poly1305: I've created a PR 
<https://github.com/HACS-workshop/hacspec/pull/6> that redoes polynomial 
evaluation with comprehensions, in a different way.  I expect this 
version should be easier to translate to backends we care about.

What do you think?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://moderncrypto.org/mail-archive/hacspec/attachments/20180217/90918953/attachment.html>