mark multiple things as final

[Deric-W]

No description provided.

[codecov]

Codecov Report

Base: 97.55% // Head: 97.56% // Increases project coverage by +0.01% 🎉

Coverage data is based on head (d587e33) compared to base (44cec67).
Patch coverage: 100.00% of modified lines in pull request are covered.

Additional details and impacted files

@@            Coverage Diff             @@
##             main       #3      +/-   ##
==========================================
+ Coverage   97.55%   97.56%   +0.01%     
==========================================
  Files          25       25              
  Lines         981      987       +6     
==========================================
+ Hits          957      963       +6     
  Misses         24       24              

Flag	Coverage Δ
Linux	97.56% <100.00%> (+0.01%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
lambda_calculus/__init__.py	100.00% <100.00%> (ø)
lambda_calculus/terms/__init__.py	96.35% <100.00%> (+0.08%)	⬆️
lambda_calculus/terms/arithmetic.py	96.29% <100.00%> (+0.14%)	⬆️
lambda_calculus/terms/combinators.py	100.00% <100.00%> (ø)
lambda_calculus/terms/logic.py	100.00% <100.00%> (ø)
lambda_calculus/terms/pairs.py	100.00% <100.00%> (ø)
lambda_calculus/visitors/substitution/unsafe.py	100.00% <100.00%> (ø)
lambda_calculus/visitors/walking.py	100.00% <100.00%> (ø)

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.