diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-03-03 10:27:42 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-03-03 10:27:42 +0000 |
| commit | f48ecd33ee4430abe7ebb85652554d37d8dea29b (patch) | |
| tree | 938632a0b72cd176f5f9945307a8d1b18b07e733 /src/main/java/org/shedlang/compiler/ShedCompiler.java | |
| parent | ec7c801a8dbad307b76b0a18f819da3ea06bb16e (diff) | |
Check number of type-level arguments
Diffstat (limited to 'src/main/java/org/shedlang/compiler/ShedCompiler.java')
0 files changed, 0 insertions, 0 deletions