[Agda] on standard library

[Nils Anders Danielsson]

On 2017-09-18 21:26, Sergei Meshveliani wrote:
> I fail to open New issue on
>    https://github.com/agda/agda-stdlib/issues
> 
> by clicking at the "New issue" button.
> It does not open the field to write an issue, does not do anything.
> And year ago it used to open such.
> 
> Is this because my Iceape browser is old?

I don't know, but it appears as if Iceape hasn't been updated since
2013, so I suggest that you try another program.

-- 
/NAD