-
Notifications
You must be signed in to change notification settings - Fork 234
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
Style for lower/upper case for initial letter in denotations
naming
#2417
opened Jun 23, 2024 by
mechvel
Unify general algebraic definitions of Divisibility and Primarity with those in Nat and Integer
library-design
status: duplicate
The main contents of the issue or PR already exists in another issue or PR.
Add
Algebra.Properties.IdempotentCommutativeMonoid
addition
refactoring
#2408
opened Jun 14, 2024 by
jamesmckinna
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
13 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
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.