summaryrefslogtreecommitdiff
path: root/examples/05-inductive-data-types
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2026-08-01 11:23:04 +0100
committerMichael Williamson <mike@zwobble.org>2026-08-01 11:23:04 +0100
commitcb76da7ffcf550c68103fe864defaa489e970eb0 (patch)
treec3acf296c7f384c5a04bcbeb226b9ee51e41fde1 /examples/05-inductive-data-types
parent2a69c9d95420784198251ab23a4828775e901f44 (diff)
Check for long strings
Diffstat (limited to 'examples/05-inductive-data-types')
0 files changed, 0 insertions, 0 deletions