diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-08-08 21:35:17 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-08-08 21:35:17 +0100 |
| commit | 9cacda725dcfe5bf30cbb98ee56b04cce055d709 (patch) | |
| tree | e1413305ec6438df2082f1787661d686f3338077 /examples/06-inductive-data-types-separate-namespaces | |
| parent | 9e1dbfa5181d5785f1932bf773216c14e8d7c5ef (diff) | |
Add type parameters to Java interface declaration
Diffstat (limited to 'examples/06-inductive-data-types-separate-namespaces')
0 files changed, 0 insertions, 0 deletions