idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-01 16:12:26 +03:00
Code Issues Projects Releases Wiki Activity
d2ce85ea05
Idris2/libs
History
Mathew Polzin d2ce85ea05
Merge pull request #2096 from madman-bob/system-run 
Add the `System` `run` function
2021-11-10 08:58:39 -08:00
..
base Merge pull request #2096 from madman-bob/system-run 2021-11-10 08:58:39 -08:00
contrib Merge pull request #2096 from madman-bob/system-run 2021-11-10 08:58:39 -08:00
network Version increment to 0.5.1 (#1939) 2021-09-19 20:53:32 +01:00
prelude [ re #2001 ] Make some prelude interfaces total (#2083) 2021-11-02 15:34:52 +00:00
test Add System escapeCmd function 2021-11-05 11:59:17 +00:00