Skip to content

Fix Section 8.4: unused vars and missing sorry#470

Merged
teorth merged 1 commit intoteorth:mainfrom
rkirov:fix/unused-vars-section-8-4
Mar 22, 2026
Merged

Fix Section 8.4: unused vars and missing sorry#470
teorth merged 1 commit intoteorth:mainfrom
rkirov:fix/unused-vars-section-8-4

Commits

Commits on Mar 16, 2026