git.iko.soy/Idris-dev
on master help sign in
More in test003; requires latex epic fix
001e2d5Edwin Brady
test/test003/expected+2
compare with master
unifiedsplit
@@ -3,3 +3,5 @@ a
3d
3d
4zabcdefg
4zabcdefg
5gfedcba
5gfedcba
6+[g, f, e, d, c, b, a]
7+abcdefg
test/test003/lit.lidr+5−1
@@ -11,5 +11,9 @@ Literate main program
11> main = do { putStrLn (show (strHead st));
11> main = do { putStrLn (show (strHead st));
12> putStrLn (show (strIndex st 3));
12> putStrLn (show (strIndex st 3));
13> putStrLn (strCons 'z' st);
13> putStrLn (strCons 'z' st);
14−> putStrLn (rev st); };
14+> putStrLn (rev st);
15+> let x = unpack st;
16+> putStrLn (show (rev x));
17+> putStrLn (pack x);
18+> };
15
19