diff options
| author | tslil <tslil@posteo.de> | 2026-05-05 14:55:42 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-05-05 15:56:28 +0100 |
| commit | 27ed463f264a701e336eddc86452fa41f28dd111 (patch) | |
| tree | a42b80df2272d5308827ba05c5d6d794c54eec21 /examples/alpha_equiv.makkai | |
| parent | 89304b27ea81270684810c18d3315c9d399beaf9 (diff) | |
fix ext nesting, don't register junky intermediate signatures
Diffstat (limited to 'examples/alpha_equiv.makkai')
0 files changed, 0 insertions, 0 deletions