Top agda-stdlib issues

Improve documentation of modules

documentation question
alhassy picture alhassy·16 Jan 2019·22 Comments
👍5

Potential for a cong helper macro in Tactic module

enhancement tactics
dylanede picture dylanede·30 Mar 2020·23 Comments
👍3

Fix the syntax for symmetric equality reasoning combinator

discussion naming
ajrouvoet picture ajrouvoet·31 Mar 2020·9 Comments

Make some `Dec` operations more easily accessible?

discussion refactoring
masaeedu picture masaeedu·6 Jun 2020·5 Comments

Add module homomorphisms

library-design question
conal picture conal·26 Sep 2020·11 Comments

Redefine Bottom to make use of Prop?

discussion refactoring won't-fix
gallais picture gallais·6 Mar 2019·9 Comments

Where should (Semi)Lattices be?

library-design question
HuStmpHrrr picture HuStmpHrrr·1 Sep 2018·12 Comments
👍1

Add true <-Reasoning

enhancement
MatthewDaggitt picture MatthewDaggitt·8 Dec 2017·23 Comments

Concurrent development of agda-stdlib and agda-categories

admin discussion question
JacquesCarette picture JacquesCarette·10 May 2020·7 Comments
👍1

Confusion about _↔_ (Function.Inverse and Function.Bundles)

library-design question
JacquesCarette picture JacquesCarette·2 May 2020·15 Comments
Next issues