Skip to content

Introduce more specific error kinds#108

Merged
oleiade merged 5 commits intomainfrom error-typesJul 30, 2024