diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-04-09 15:53:49 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-04-09 15:53:49 -0400 |
| commit | d6abe6879f53763bb1283a7721676be9e7f6c27c (patch) | |
| tree | 3614bd9d90b84649db1e32b9cb526cac75854398 /docs/implementation | |
| parent | 0b9046a45682c60b5c2dc152b1b3af3d5f7c97a0 (diff) | |
Always give an identity element for folds in the runtime if they can be empty
Diffstat (limited to 'docs/implementation')
0 files changed, 0 insertions, 0 deletions