mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-10-05 17:38:38 +03:00
2024-07-05T17:57:21Z - 2024-10-05T17:57:21Z
Overview
Excluding merges,
9 authors
have pushed
25 commits
to main and
69 commits
to all branches.
On main,
113 files
have changed
and there have been
1452 additions
and
490 deletions.