don't use mod in mkword

jasmin-lang / coqword

Yet Another Coq Library on Machine Words.

MIT License

9 stars 7 forks source link

Closed bgregoir closed 1 year ago

bgregoir commented 1 year ago

I am not fully happy of it.

bgregoir commented 1 year ago

I am not fully happy of this. It would be nice to discuss.

strub commented 1 year ago

After discussion with Benjamin, closing the PR.