mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-11 13:36:08 +03:00
5 Commits
Author | SHA1 | Date | |
---|---|---|---|
|
880981d5b4 | ||
|
aea34ab83e | ||
|
efc595394b | ||
|
47e943cc7d | ||
|
d2f4812b48 |