diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-08-29 13:27:24 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-08-29 13:27:24 -0400 |
| commit | d8116c27f406ac4915aaa7cdae97fb73c9847c8a (patch) | |
| tree | 0f38b76ede0fc91dcb3c558c268afc723bbc371b /docs | |
| parent | 442e841cfa89b3f3f7d3cf54c0c8fd5af4b48940 (diff) | |
Fix for typechecking reductions
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions