diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-07-12 17:44:28 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-07-12 17:44:28 +0100 |
| commit | b4346ad4dafbe2c5d4d528c6712f74a887fc31b2 (patch) | |
| tree | 1a21b45a3fe71c7da6ab758904d54234c7be9805 /examples/03-inductive-data-types | |
| parent | a8f916ed81731eaba61b2bd1ef6f3b6fb40c23af (diff) | |
Use postfix increment in JavaTransient0Generator
Diffstat (limited to 'examples/03-inductive-data-types')
0 files changed, 0 insertions, 0 deletions