[Agda] false \equiv true

[Serge D. Mechveliani]

Can you, please, explain things about the following  5 line  code 
attached here as  
                 t.agda.zip 
?
It is about the relataion between  false \equiv true  and  \bottom.

Thanks,

------
Sergei


-------------- next part --------------
A non-text attachment was scrubbed...
Name: t.agda.zip
Type: application/zip
Size: 622 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20130311/f6a11f74/t.agda.zip