-
Notifications
You must be signed in to change notification settings - Fork 235
Insights: agda/agda-stdlib
Overview
Could not load contribution data
Please try again later
3 Pull requests merged by 2 people
-
[ new ] map-concat
#2453 merged
Aug 2, 2024 -
fixes #2408
#2422 merged
Aug 2, 2024 -
Make
_<″_
/_≤″_
inversions more lazy#2449 merged
Aug 2, 2024
2 Pull requests opened by 1 person
-
Add new `Bool` action on a `RawMonoid` plus properties
#2450 opened
Jul 31, 2024 -
Reconciles `Data.Vec.Relation.Binary.Equality.DecPropositional` with `List`
#2451 opened
Jul 31, 2024
1 Issue closed by 1 person
-
Add `Algebra.Properties.IdempotentCommutativeMonoid`
#2408 closed
Aug 2, 2024
2 Issues opened by 2 people
-
Add `Algebra.Definitions.RawGroup` and `Algebra.Properties.Group.*`
#2454 opened
Aug 1, 2024 -
Deploy doc rendering for v2.1
#2452 opened
Aug 1, 2024
10 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Linear-time implementation of `Data.Nat.Properties.≤′⇒≤`?
#2442 commented on
Jul 31, 2024 • 0 new comments -
Derived operators in the theory of `Relation.Binary.Structures.IsTotalOrder`
#2448 commented on
Aug 1, 2024 • 0 new comments -
To let or not to let
#2369 commented on
Aug 2, 2024 • 0 new comments -
Add `Data.Nat.Bounded`
#2257 commented on
Aug 3, 2024 • 0 new comments -
Add bundled homomorphisms
#2383 commented on
Aug 5, 2024 • 0 new comments -
Add `Number` literals for any `SuccessorSet`
#2406 commented on
Aug 3, 2024 • 0 new comments -
Add left- and right- `Pointwise` congruence for `_++_` on `List`
#2426 commented on
Aug 2, 2024 • 0 new comments -
add `search` function to `Data.List.Relation.Unary.All`
#2428 commented on
Aug 3, 2024 • 0 new comments -
Vec.Properties: drop eq parameter when it is a property
#2430 commented on
Aug 5, 2024 • 0 new comments -
Run CI tests on release branches as well
#2444 commented on
Aug 5, 2024 • 0 new comments