Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add Option.{lift,map,combine}, List.Option.lift | 2019-02-11 | |
* | minor updates needed to make it compile with bbv | 2018-02-05 | |
* | typofix | 2017-06-14 | |
* | ScalarMult: Z -> G -> G (closes #193) | 2017-06-14 | |
* | Don't rely on autogenerated names | 2017-06-05 | |
* | rename-everything | 2017-04-06 |