diff options
| author | Peter Mikkelsen <petermikkelsen10@gmail.com> | 2022-01-29 00:09:53 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <petermikkelsen10@gmail.com> | 2022-01-29 00:09:53 +0000 |
| commit | 0f3b415b3177a6b73828c09090cfae3a9c6dd5c9 (patch) | |
| tree | e736e3cc0dab43f2d7801c1866a0c3b592f580a4 /mkfile | |
| parent | b4ab528e1995ab7017b55a899d970feee0c74edb (diff) | |
Handle scalars in monadic ≠ and ∪
Diffstat (limited to 'mkfile')
0 files changed, 0 insertions, 0 deletions