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
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
Document
variable
block indentation style
documentation
style-guide
#2390
opened May 19, 2024 by
JacquesCarette
Allow
.lagda
for library sources
discussion
documentation
library-design
#2379
opened May 3, 2024 by
JacquesCarette
Add the
Setoid
al structure of a (free) Monoid
on List
addition
library-design
low-hanging-fruit
refactoring
#2360
opened Apr 12, 2024 by
jamesmckinna
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!
Adding no:label will show everything without a label.