[Agda] github on Standard library

Sergei Meshveliani mechvel at botik.ru
Thu Jan 23 12:31:44 CET 2014


I have reopened issue #2.

1. I have closed it by mistake, because I do not find the button
"submit" (a comment) and thought that "close" stands for "submit". 

2. There have appeared several duplicated comments of mine to this
issue, and I do not see how can I remove them, do not find the
corresponding buttons.

Regards,

------
Sergei



More information about the Agda mailing list