[Agda] false \equiv true

Serge D. Mechveliani mechvel at botik.ru
Mon Mar 11 11:12:28 CET 2013

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



-------------- 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

More information about the Agda mailing list