diff options
| author | Marvin Borner | 2023-03-11 13:59:57 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-03-11 13:59:57 +0100 |
| commit | db8c3c4fa194f57c80af39e77d44facef98f9113 (patch) | |
| tree | 940f8f7e5dc46004d1df3cdab2c9455f9d994a31 /std/Combinator.bruijn | |
| parent | ccda56bb092db65e13d44e8171bbd85815fcd08d (diff) | |
Applied linting tips
Diffstat (limited to 'std/Combinator.bruijn')
0 files changed, 0 insertions, 0 deletions