Re: [Epigram] Partially defined functions and Pattern matching

[Conor McBride]

Yong Luo wrote:

Hi all,

2. Full covering is an undecidable problem.

No it isn't.

Conor