mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-10-05 17:38:38 +03:00
2024-09-28T17:56:56Z - 2024-10-05T17:56:56Z
Overview
Excluding merges,
2 authors
have pushed
2 commits
to main and
5 commits
to all branches.
On main,
8 files
have changed
and there have been
54 additions
and
12 deletions.