-
Notifications
You must be signed in to change notification settings - Fork 233
Issues: agda/agda-stdlib
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Rename
WeaklyDecidable
?
cosmetic
dependencies
discussion
naming
#2404
opened Jun 9, 2024 by
jamesmckinna
[DRY] Refactor
Algebra.Solver.*Monoid
(or deprecate entirely?)
dependencies
library-design
refactoring
#2403
opened Jun 9, 2024 by
jamesmckinna
What's the 'right' notion of equality between functions?
discussion
library-design
#2400
opened Jun 4, 2024 by
jamesmckinna
Why is
Data.List.Relation.Binary.Subset.Setoid.Properties
not parametrized on the Setoid
as a whole
library-design
#2397
opened May 28, 2024 by
andreasabel
[DRY] More redundant
zero
fields in Algebra.Structures
addition
breaking
bug
#2396
opened May 27, 2024 by
jamesmckinna
[DRY] what's the best way to
public
ly re-export properties/structure?
discussion
library-design
refactoring
#2391
opened May 20, 2024 by
jamesmckinna
Allow
.lagda
for library sources
discussion
documentation
library-design
#2379
opened May 3, 2024 by
JacquesCarette
List of sub-optimal definitions in
Data.List.Base
#2359
opened Apr 12, 2024 by
JacquesCarette
11 of 14 tasks
Add
Algebra.Construct.WreathProduct
and/or Algebra.Construct.SemiDirectProduct
addition
library-design
#2351
opened Apr 9, 2024 by
jamesmckinna
Consistently add the equality after
resp
in proof names.
bug
naming
#2341
opened Apr 2, 2024 by
mechvel
What should our explicit import policy be?
discussion
library-design
#2339
opened Apr 1, 2024 by
MatthewDaggitt
Can we unify Relation.Binary.Morphism.Definitions and Function.Definitions?
library-design
#2318
opened Mar 13, 2024 by
Taneb
Refactor to support multiple definitions of
Data.List.Relation.Binary.Permutation
addition
library-design
refactoring
#2311
opened Mar 5, 2024 by
jamesmckinna
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.