diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-08-01 11:13:48 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-08-01 11:13:48 +0100 |
| commit | 9ddd646de9b5157f93abe1b091b2764b8c8adfaf (patch) | |
| tree | cd73662a41c93392da805387dae4cb27c891cc94 /examples/05-inductive-data-types | |
| parent | 7ad6474c2ade77aba7d1fff358102b92b30d1554 (diff) | |
Use Java class literal in java-precisely
Diffstat (limited to 'examples/05-inductive-data-types')
0 files changed, 0 insertions, 0 deletions