diff options
| author |  Jason Gross <jagro@google.com> | 2016-09-05 15:44:48 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-09-05 15:44:48 -0700 |
| commit | 16737faa337e3a47bb2d7283cb57ee93342a3eb0 (patch) | |
| tree | d151040bc517da73316c75147d5c522716e9664f /crypto-defects.md | |
| parent | 02c9314745f8105043833ef46c683b5ba7486e6a (diff) | |
Better implicit arguments for wf types
Diffstat (limited to 'crypto-defects.md')
0 files changed, 0 insertions, 0 deletions