-
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
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
Use the Monoid structure of Endomorphisms to define powering
low-hanging-fruit
refactoring
#2394
opened May 22, 2024 by
JacquesCarette
[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
8 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
A distribution tarball beyond github's autogenerated one?
admin
#2305
opened Feb 29, 2024 by
andreasabel
Add
List.Base.build
/Church encodings of Data
types
addition
discussion
library-design
#2304
opened Feb 27, 2024 by
jamesmckinna
Previous Next
ProTip!
no:milestone will show everything without a milestone.