mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-07-07 09:46:22 +03:00
2024-06-30T07:54:41Z - 2024-07-07T07:54:41Z
Overview
Excluding merges,
3 authors
have pushed
4 commits
to main and
7 commits
to all branches.
On main,
17 files
have changed
and there have been
53 additions
and
15 deletions.