diff options
| author | Marvin Borner | 2023-07-08 12:24:21 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-07-08 12:27:29 +0200 |
| commit | aaf74ac0b256055ca39618135f4ce9c98ccf8c95 (patch) | |
| tree | f94512e179c41f4aec622412419682438cafdb83 /std/Monad.bruijn | |
| parent | 79cf34e878da5118bdfc25a02d78f4e21574600d (diff) | |
Added variadic list constructor
Diffstat (limited to 'std/Monad.bruijn')
0 files changed, 0 insertions, 0 deletions