Top agda-stdlib issues

Release v1.2

release
MatthewDaggitt picture MatthewDaggitt·9 Oct 2019·4 Comments

Small change to inject≤

enhancement question
xekoukou picture xekoukou·30 Mar 2019·8 Comments

Proposal: Setoid + Show + Parse

library-design
mechvel picture mechvel·15 Jan 2019·15 Comments

Generic congN?

library-design question
gallais picture gallais·30 Dec 2018·7 Comments

Misnomer: `Relation.Binary.Core.Total`

library-design naming question
WolframKahl picture WolframKahl·5 Sep 2018·5 Comments
❤1

Release of 0.15

release task
MatthewDaggitt picture MatthewDaggitt·20 Feb 2018·39 Comments
👍3

Add `Axiom.*` modules for common axioms

low-hanging-fruit task
gallais picture gallais·30 Nov 2017·8 Comments
👍2

Generic n-ary programs (zipWith, alignWith, lift, etc.)

enhancement low-hanging-fruit task
mechvel picture mechvel·28 Feb 2014·7 Comments

Why does equality of Function Setoids have cong baked in?

library-design question
TOTBWF picture TOTBWF·9 Apr 2021·4 Comments

Build for `experimental` fails

bug upstream
anuyts picture anuyts·3 Feb 2021·11 Comments
 Previous issues
Next issues