mirror of
https://github.com/idris-lang/Idris-dev.git
synced 2024-10-04 01:50:20 +03:00
0bc39d4a7a
Update version numbers and maintainer |
||
---|---|---|
.. | ||
idris.1 |
0bc39d4a7a
Update version numbers and maintainer |
||
---|---|---|
.. | ||
idris.1 |