New answers tagged

1 vote
Accepted

What is a "Covering Function"?

I finally found an answer here. @MaxNew was right; it's just a part of totality. A function definition is not covering if there is a possible input which has not been handled in the pattern matching.
user avatar

Top 50 recent answers are included