diff options
author | Andres Erbsen <andreser@mit.edu> | 2016-10-21 23:10:06 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2016-10-21 23:10:06 -0400 |
commit | 1ec6ade7fa92912adffdb815eef5f6cac31ab078 (patch) | |
tree | a966878a580ac5575599c38eafd82a59b9188ceb /src/Specific/GF25519.v | |
parent | 33158dd8242e55c6ca993aa41e2a13f3e8d8eda3 (diff) |
extraction: use more Haskell functions
Diffstat (limited to 'src/Specific/GF25519.v')
0 files changed, 0 insertions, 0 deletions