mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-10-05 17:38:38 +03:00
2024-09-05T18:10:18Z - 2024-10-05T18:10:18Z
Overview
Excluding merges,
6 authors
have pushed
8 commits
to main and
16 commits
to all branches.
On main,
29 files
have changed
and there have been
267 additions
and
83 deletions.