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/03-enum/src | |
| parent | 6fe5f16e1b261dcc34f83ca9c6d6049d3591976b (diff) | |
Add inductive data types example
Diffstat (limited to 'examples/03-enum/src')
| -rw-r--r-- | examples/03-enum/src/numbers.hob | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/examples/03-enum/src/numbers.hob b/examples/03-enum/src/numbers.hob deleted file mode 100644 index 125082d..0000000 --- a/examples/03-enum/src/numbers.hob +++ /dev/null @@ -1,6 +0,0 @@ -/// A small number. -enum SmallNumber { - variant zero; - variant one; - variant two; -} |