[Agda] Case split on λ()

[Martin Escardo]

On 15/03/2019 19:54, lehmann at tet.tu-berlin.de wrote:
> Thank you for the clarification!

Glad the discussion helped.

People are sometimes surprised that it took a while to invent the number 
zero. But counting is about establishing bijections, and it may be 
confusing at first sight to try to establish a bijection between an 
empty box of pebbles and an empty field of sheep.

Martin