4 ms·
error type distribution varies greatly depending on problem domain. Even Idris programs can have runtime errors though =)
by jackmott 10y ago
error type distribution varies greatly depending on problem domain. Even Idris programs can have runtime errors though =)