diff options
| author | Marvin Borner | 2022-08-18 13:28:58 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-08-18 13:29:24 +0200 |
| commit | 9148f5d2a82ac7784649bf8a75b4e9b6d87b6cea (patch) | |
| tree | d9ac1ff0b06401a8206c1872378f23e93381048e /std/Combinator.bruijn | |
| parent | 266286d108b8304efc67d64f47c1ee9d8d4b17c9 (diff) | |
Reduced redundant testing
Diffstat (limited to 'std/Combinator.bruijn')
0 files changed, 0 insertions, 0 deletions