diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-08-14 10:55:04 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-08-14 13:47:33 -0400 |
| commit | fbed5613ace02a2edc54ffc3dfea614526871ffc (patch) | |
| tree | 0f16a5c3acfacdac18adcaeb9fcd8ae64b44ac50 /docs/try.html | |
| parent | d5d04e0bf8cddec0fe74d82d6feb65e93570dd0f (diff) | |
Extend _under_ to allow 𝔾 returning an element (like ⊑)
Diffstat (limited to 'docs/try.html')
0 files changed, 0 insertions, 0 deletions