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

2023-11-21T16:57:34Z - 2024-11-21T16:57:34Z
Period: 1 year
1 day 3 days 1 week 1 month 3 months 6 months 1 year

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 7 commits to main and 7 commits to all branches. On main, 4 files have changed and there have been 66 additions and 52 deletions.