diff options
| author | Cyril Cohen | 2018-07-19 17:11:48 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2018-07-19 17:11:48 +0200 |
| commit | a4f169772ace822087c9ab6aaac3f81982560b97 (patch) | |
| tree | 1a114dd4ceacad931d4d44219ada54893e51d97c /plugin | |
| parent | cf1b1123f42d4c8b179d2a5bba557dec94de1888 (diff) | |
poly_size_eq1 phrased with reflect + combinators
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions