summaryrefslogtreecommitdiff
path: root/examples/03-inductive-data-types
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2026-07-06 21:08:44 +0100
committerMichael Williamson <mike@zwobble.org>2026-07-06 21:08:44 +0100
commit798a3176144c4f9116d3f38559104e9773937d5a (patch)
treed12dbae61a95ca2058e9fb8cf3986f46caa3f85d /examples/03-inductive-data-types
parent044c79e110a2d65dd186a89030b72f53cb9804cb (diff)
Extract generateEncodeMethod()
Diffstat (limited to 'examples/03-inductive-data-types')
0 files changed, 0 insertions, 0 deletions