ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-21 22:17:19 +03:00
Code Issues Projects Releases Wiki Activity

More in test003; requires latex epic fix

Browse Source
This commit is contained in:
Edwin Brady 2011-12-17 18:55:58 +00:00
parent 0bc69fbfd3
commit 001e2d50d8
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/test003/expected
View File

@ -3,3 +3,5 @@ a
d
zabcdefg
gfedcba
[g, f, e, d, c, b, a]
abcdefg

6
test/test003/lit.lidr
View File

@ -11,5 +11,9 @@ Literate main program
> main = do { putStrLn (show (strHead st));
> putStrLn (show (strIndex st 3));
> putStrLn (strCons 'z' st);
> putStrLn (rev st); };
> putStrLn (rev st);
> let x = unpack st;
> putStrLn (show (rev x));
> putStrLn (pack x);
> };