Skip to content

Pull requests: agda/agda-stdlib

New pull request New
Clear current search query, filters, and sorts
15 Open 1,104 Closed
15 Open 1,104 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

[ add ] Relation.Binary.Properties.PartialSetoid
#2678 opened Mar 17, 2025 by jamesmckinna Loading…
Match on _IsRelatedTo_ later for the PartialSetoid Reasoning bug
#2677 opened Mar 15, 2025 by Ailrun Loading…
10
[ refactor ] Redefine Relation.Binary.Definitions.Adjoint, plus knock-on Function.Consequences addition breaking refactoring
#2599 opened Feb 19, 2025 by jamesmckinna Loading… v3.0
1
[ refactor ] Function.Definitions, adding Function.Definitions.Strict module breaking
#2567 opened Jan 28, 2025 by jamesmckinna • Draft
[ add ] Algebra.Definitions.Integral and its consequences addition
#2563 opened Jan 24, 2025 by jamesmckinna • Draft
3 tasks done
v2.3
1
20
Real numbers, based on Cauchy sequences addition
#2487 opened Sep 27, 2024 by Taneb • Draft
56
Replace record directive "eta-equality" by "no-eta-equality;pattern" breaking status: blocked-by-issue Progress on this issue or PR is blocked by another issue. upstream Changes induced by Agda upstream
#2476 opened Sep 6, 2024 by andreasabel • Draft Agda v2.8.0
9
Refactor Algebra.Solver.*Monoid (further!) deprecation refactoring
#2457 opened Aug 14, 2024 by jamesmckinna • Draft
1
9
Vec.Properties: drop eq parameter when it is a property (v3.0 changes) breaking refactoring
#2431 opened Jul 5, 2024 by mildsunrise • Draft v3.0
[ new ] Effect.Monad.Random addition
#2372 opened Apr 22, 2024 by gallais • Draft
2 tasks
1
Refactor Data.List.Relation.Binary.Permutation.* addition breaking dependencies discussion refactoring
#2317 opened Mar 12, 2024 by jamesmckinna • Draft
13
Modular arithmetic based on Data.Nat.Bounded #2257 addition discussion library-design
#2292 opened Feb 12, 2024 by jamesmckinna • Draft
5
WIP Add Rational RingSolver addition
#2215 opened Nov 26, 2023 by lemastero • Draft
3 of 5 tasks
1
9
Functional vector module
#1945 opened Apr 17, 2023 by guilhermehas • Draft
14
[ fix #1354 ] Refactoring Permutation.Propositional library-design refactoring
#1761 opened May 3, 2022 by gallais • Draft
1
14
ProTip! Filter pull requests by the default branch with base:master.