Improve Interoperability with Error Reporting Tools#355

Open

dtoniolo wants to merge 3 commits intoBurntSushi:masterfrom dtoniolo:error_source

+296-171

Commits on Feb 16, 2024

Makes error compatible with error reporting tools
dtoniolo
committed

Commits on Feb 18, 2024

Uses eyre in the tutorial
dtoniolo
committed

Commits on Feb 21, 2024

Fixes some inconsistencies in the tutorial
dtoniolo
committed