[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