diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-05-29 16:53:53 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-05-29 16:53:53 +0100 |
| commit | 44d29e7fec1d3b7e81cebf7c5274d9a053727bc1 (patch) | |
| tree | 1b8f81ca2bef3277f844e6879a6de96a48a17324 /examples/05-custom-code | |
| parent | 5117960fbc14ee7275fc6ee1193f9ee5e5c78554 (diff) | |
Use builder in TypeCheckerSumDefinitionTests
Diffstat (limited to 'examples/05-custom-code')
0 files changed, 0 insertions, 0 deletions