diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-08-02 12:39:49 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-08-02 12:39:49 +0100 |
| commit | df914fb9c7eeee62b050164d95f99bb81b395bc9 (patch) | |
| tree | bc1bf21f86c9c3d2116784173d3961b736d1118d /examples/05-inductive-data-types | |
| parent | dec0f4467d4089c251b17d2cc6b4a0a8fed18f82 (diff) | |
Handle Box and Shared when determining constructibility
Diffstat (limited to 'examples/05-inductive-data-types')
0 files changed, 0 insertions, 0 deletions