Idris2/tests/prelude
Sventimir 4920601fe9
Add tests for Nat ranges and fix bad range [1,2..1] behaviour. (#1794)
Co-authored-by: Marcin Pastudzki <marcin.pastudzki@gmail.com>
2021-07-28 06:52:59 +01:00
..
nat001 Add tests for Nat ranges and fix bad range [1,2..1] behaviour. (#1794) 2021-07-28 06:52:59 +01:00
reg001 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00