-
Notifications
You must be signed in to change notification settings - Fork 253
Insights: agda/agda-stdlib
Overview
-
- 0 Merged pull requests
- 1 Open pull request
- 2 Closed issues
- 0 New issues
There hasn’t been any commit activity on agda/agda-stdlib in the last 3 days.
Want to help out?
1 Pull request opened by 1 person
-
Module morphisms polymorphic in the underlying ring structure
#2810 opened
Aug 15, 2025
2 Issues closed by 1 person
-
[Add] takeNat for Vec in Data.Vec.Base
#2778 closed
Aug 16, 2025 -
There should a lemma says Bijective implies Inverse^b in Function.Consequences
#2806 closed
Aug 16, 2025
2 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.
-
[Add] Initial files for Domain theory - Continuation of #2721
#2809 commented on
Aug 14, 2025 • 8 new comments -
[Add] Initial files for Domain theory
#2721 commented on
Aug 14, 2025 • 2 new comments