diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-06-10 14:40:55 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-06-10 14:40:55 +0100 |
| commit | 01bd9f9bdfa3d6257d5fd0177c769b30de8f4930 (patch) | |
| tree | 44fd4c285cdb012d4dae7d46950d2385102c0e8e /src/test/java | |
| parent | 23dc359d91ac4a90b65d3c4927b3cd928b63da3a (diff) | |
Encode what type-level value type-level expressions hold
Diffstat (limited to 'src/test/java')
0 files changed, 0 insertions, 0 deletions