[Agda] underscore in \neg

Sergei Meshveliani mechvel at botik.ru
Sun Aug 25 10:43:21 CEST 2013


(this is on Standard library lib-0.7)

People,
`not' is declared without underscore (which looks natural),
and  `¬_' is declared with underscore.
Why not omit this latter underscore?  

Regards,

------
Sergei



More information about the Agda mailing list