idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-07-14 16:40:38 +03:00
Code Issues Projects Releases Wiki Activity
Pulse Contributors Code Frequency Recent Commits

2023-07-14T21:38:13Z - 2024-07-14T21:38:13Z
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, 43 authors have pushed 242 commits to main and 558 commits to all branches. On main, 1911 files have changed and there have been 49653 additions and 43558 deletions.

1 Release published by 1 user

Published v0.7.0 2023-12-22 16:53:08 +03:00