mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-11-28 19:13:02 +03:00
5 Commits
Author | SHA1 | Date | |
---|---|---|---|
|
0aeadbad19 | ||
|
da4885c4fa | ||
|
874587906f | ||
|
3312961b54 | ||
|
56e21fa27a |