Top agda-stdlib issues

Deciding property for enumerable set

enhancement question
uzytkownik picture uzytkownik·8 Dec 2020·5 Comments

Change the order of arguments in `Data.List.Relation.Unary.All.cartesianProduct⁺`

bug invalid
MatthewDaggitt picture MatthewDaggitt·31 Aug 2020·2 Comments

Duplicate <-wellFounded in Induction.Nat

bug deprecation regression
oisdk picture oisdk·29 Jun 2020·7 Comments

Add pointer to `Data.Empty.Polymorphic` in `Data.Empty`

documentation question
MirceaS picture MirceaS·22 Jan 2020·3 Comments

Question on naming in Data.Fin.Base

deprecation naming question
HuStmpHrrr picture HuStmpHrrr·4 Jun 2019·3 Comments
👍1

`_≤ᵇ_` for Natural numbers

enhancement low-hanging-fruit question
HuStmpHrrr picture HuStmpHrrr·17 May 2019·15 Comments

``+-*-suc`` ?

deprecation question
mechvel picture mechvel·13 May 2019·4 Comments

Safe proofs of decidable equality for String & Char.

library-design question safe
andreasabel picture andreasabel·19 Oct 2018·6 Comments
😄1

Data.Nat.Properties.≤+≢⇒<

question
mechvel picture mechvel·6 Jul 2018·6 Comments

Preorder VS reflexivity + transitivity?

question
HuStmpHrrr picture HuStmpHrrr·9 Jun 2018·2 Comments
 Previous issues
Next issues