diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-07-02 16:32:26 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-07-02 16:37:31 +0100 |
| commit | 94d481c940fb36da896e2e80a62f39d849477f53 (patch) | |
| tree | 1df183249ec0cffe9c02f6a145dbb11bfef05a91 /examples/01-struct | |
| parent | 6fe5f16e1b261dcc34f83ca9c6d6049d3591976b (diff) | |
Add inductive data types example
Diffstat (limited to 'examples/01-struct')
0 files changed, 0 insertions, 0 deletions