Idris2/tests/idris2/literate011/expected

1/1: Building IEdit (IEdit.md)
Main>     zipHere [] [] = []
    zipHere (x :: xs) (y :: ys) = (x, y) :: zipHere xs ys
Main> Bye for now!
Add test script They don't all pass yet, for minor reasons. Coming shortly... Unfortunately the startup overhead for chez is really noticeable here! 2020-05-19 20:25:18 +03:00			`1/1: Building IEdit (IEdit.md)`
Update literate test results New search heuristic finds a slightly better zipWith, in particular. 2020-07-30 02:08:06 +03:00			`Main> zipHere [] [] = []`
Add test script They don't all pass yet, for minor reasons. Coming shortly... Unfortunately the startup overhead for chez is really noticeable here! 2020-05-19 20:25:18 +03:00			`zipHere (x :: xs) (y :: ys) = (x, y) :: zipHere xs ys`
			`Main> Bye for now!`