diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-05-06 15:35:44 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-05-06 15:35:44 +0100 |
| commit | 975ad15faf5286b2be7fff5acd1ed06f883e2100 (patch) | |
| tree | c4c2c91b960833f21be4eb345d820db23823e81b /main.bib | |
| parent | ec7805f38d79b7f38034f08d37968fa6496db2d0 (diff) | |
State we encode sums as tagged unions.
Diffstat (limited to 'main.bib')
0 files changed, 0 insertions, 0 deletions