[Agda] on standard library

[Sergei Meshveliani]

Dear Agda team,

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 wanted to give there two minor notes.

1. Data.Nat.Properties has <-trans, <-irrefl, <-asym,
while
Data.Fin.Properties skips the last two.

2. Data.Bin.Properties renames
Data.Nat.Properties to ℕₚ,
Data.Nat.Properties to 𝔽ₚ

ℕProp and 𝔽Prop are printed in a nicer way, and also carry a mnemonic.


Regards,

------
Sergei

[Nils Anders Danielsson]

Post by Sergei Meshveliani
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.