diff options
| author | Marvin Borner | 2022-08-30 23:17:29 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-08-30 23:17:29 +0200 |
| commit | 7209f9dde5ea9085cf61a7210be836e1e7f8dcc7 (patch) | |
| tree | f05f4b131735883e5dccc10e17d9546689670a52 /std/Logic.bruijn | |
| parent | ea7b6562f41b4f8845828db7ee10e1f9036752e4 (diff) | |
Fixed prefix/mixfix usage as singleton function
Diffstat (limited to 'std/Logic.bruijn')
0 files changed, 0 insertions, 0 deletions