diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-10 22:00:17 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-11 01:37:50 +0200 |
| commit | f522e39756ae0aef5e49585fc735c475cf3ff9e4 (patch) | |
| tree | 90a8fe239b064c5b1b20fe2ad2fbe7f7e792bff9 /core/result.milch | |
| parent | 37e251578181213e49ba08d3de39f0b8b4f77427 (diff) | |
Refactor builtins, add new ones
Diffstat (limited to 'core/result.milch')
0 files changed, 0 insertions, 0 deletions