git.iko.soy/Idris-dev
on cf47310 help sign in
Idris-dev/test/interactive008/input
9 lines 193 B history raw
1:consolewidth 50
2:printerdepth 5
3the (List Integer) [1..20]
4:printerdepth 1000
5the (List Integer) [1..100]
6:printerdepth 0
7the (List Integer) [1..100]
8:printerdepth
9the (List Integer) [1..100]