diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-06-19 22:00:51 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-06-19 22:02:14 -0400 |
| commit | ab74b5cee5260544dd651b7edc22ad8b3554cdde (patch) | |
| tree | 26e9bd4d77a2e34256c9b7e30772184856d29894 /src | |
| parent | de0a7a3d73ea026c9f483aadd7647f19e8932f42 (diff) | |
Clarify valid uses of 𝕎 as Nothing
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions