diff options
| author |  Jade Philipoom <jadep@mit.edu> | 2016-02-15 18:54:23 -0500 |
|---|---|---|
| committer | Jade Philipoom <jadep@mit.edu> | 2016-02-15 18:54:23 -0500 |
| commit | ce4dba4f81fdeb1c1220b8dabf9d8acb00fce901 (patch) | |
| tree | 908cf1f1be02219b23ff6266dd040e9a9e560f76 /src/Spec/Ed25519.v | |
| parent | db57b2eb98e743b595b8bcec84f031b55bbb8d81 (diff) | |
instantiated FqEncoding and FlEncoding (also fixed indentation, which is why the commit looks huge)
Diffstat (limited to 'src/Spec/Ed25519.v')
0 files changed, 0 insertions, 0 deletions