idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-20 18:21:47 +03:00
Code Issues Projects Releases Wiki Activity
44328d73de
Idris2/libs/test/Test
History
Denis Buzdalov 44328d73de [ fix ] Wrap paths in quotes for one more call for system
2021-09-16 10:49:18 +01:00
..
Golden.idr [ fix ] Wrap paths in quotes for one more call for system 2021-09-16 10:49:18 +01:00