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
80f8a0f8fe
Idris2/libs/test/Test
History
Guillaume ALLAIS 80f8a0f8fe [ re #1185 ] add threads option to test runner
2021-03-16 14:03:46 +00:00
..
Golden.idr [ re #1185 ] add threads option to test runner 2021-03-16 14:03:46 +00:00