diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-01-03 22:21:36 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-01-03 22:22:04 +0000 |
| commit | c88aea4655fb8396741dba4fa13a2315e30d14d2 (patch) | |
| tree | cae214b5fe5d5d91bd6f91b6781b77577f899a48 /src/main/java/org/shedlang/compiler/ShedCompiler.java | |
| parent | 98f33d0f843c88c404b525134986393a1b1569cb (diff) | |
Add subtyping between sum types
Diffstat (limited to 'src/main/java/org/shedlang/compiler/ShedCompiler.java')
0 files changed, 0 insertions, 0 deletions