Top agda-stdlib issues

Naming conventions: (from/to)Nat vs. (from/to)ℕ

bug deprecation library-design low-hanging-fruit
gallais picture gallais·26 Apr 2019·1 Comments

operator precedents are too tight

library-design question
HuStmpHrrr picture HuStmpHrrr·16 Feb 2019·12 Comments

AllNeighbours: Predicate on lists

enhancement question
EdNutting picture EdNutting·15 Feb 2019·10 Comments

Release v1.0

question release
gallais picture gallais·12 Jan 2019·9 Comments

`elem` function for lists of types with decidable equality

low-hanging-fruit question
langston-barrett picture langston-barrett·24 Jan 2018·7 Comments

Release version compatible with Agda 2.5.3

release task
asr picture asr·10 Sep 2017·27 Comments

A "safe" subsection of the library

library-design safe task
MatthewDaggitt picture MatthewDaggitt·27 Jun 2017·36 Comments

Release v1.4

release
MatthewDaggitt picture MatthewDaggitt·10 Aug 2020·5 Comments

Where to put a rather convenient function?

library-design question
JacquesCarette picture JacquesCarette·10 May 2020·8 Comments

Error after running `fix-agda-whitespace`

invalid
asr picture asr·30 Mar 2020·3 Comments
 Previous issues
Next issues