diff options
| author | tslil <tslil@posteo.de> | 2026-05-07 15:33:30 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-05-07 16:19:27 +0100 |
| commit | 77d637846be1eb0d140612731c80ca7a6cf1bb29 (patch) | |
| tree | b5adb44f73a59644e54e7a21d7fbe9160f70b0bb /examples/tests/test_signature_param.makkai | |
| parent | 8d9c0e5868b2a7fa22080f814357dcda69a10057 (diff) | |
fix failure to add hypotheticals for instances of compound signatures
Diffstat (limited to 'examples/tests/test_signature_param.makkai')
0 files changed, 0 insertions, 0 deletions