[Agda] neg ~~

Serge D. Mechveliani mechvel at botik.ru
Sat Apr 6 17:43:02 CEST 2013


People,
I define                      x \~~n y  =  \neg (x \~~ y)
for negation of equivalence

(the attachement              t.agda.zip  
writes this in math symbols).  

But may be Standard library has a similar definition
(similar as for \equiv) ?

Thanks,

------
Sergei
-------------- next part --------------
A non-text attachment was scrubbed...
Name: t.agda.zip
Type: application/zip
Size: 189 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20130406/6ae163fa/t.agda.zip


More information about the Agda mailing list