idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-25 20:51:43 +03:00
Code Issues Projects Releases Wiki Activity
f47d9cfef2
Idris2/tests/chez/chez020
History
G. Allais 0a7ea69df5
[ refactor ] introduce List1 to remove impossible case (#520)
2020-08-04 20:03:18 +01:00
..
expected Add popen and pclose from Idris 1 2020-05-28 12:58:03 +02:00
input Add popen and pclose from Idris 1 2020-05-28 12:58:03 +02:00
Popen.idr [ refactor ] introduce List1 to remove impossible case (#520) 2020-08-04 20:03:18 +01:00
run Add popen and pclose from Idris 1 2020-05-28 12:58:03 +02:00