diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-25 22:40:49 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-25 22:41:37 -0400 |
| commit | d781df9f85be853a20b5e25c912cf1885ae45ac6 (patch) | |
| tree | 3bcd3a1f5b493cfa585b11634869ea244aef8bbb /examples | |
| parent | 45891aac33db6260dd3da01624154bb67ddd39b4 (diff) | |
Define Identity after pervasion, with a non-empty fold
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions