toki/idris2-lens
1
0
Fork 0
Code Issues Pull requests Activity
Pulse Contributors Code frequency Recent commits

2025-01-09T19:52:12Z - 2025-04-09T18:52:12Z

Overview

0 active pull requests
0 active issues
0
Merged pull requests 0
Proposed pull requests 0
Closed issues 0
New issues
Excluding merges, 1 author has pushed 1 commit to main and 1 commit to all branches. On main, 2 files have changed and there have been 14 additions and 10 deletions.