mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-24 20:23:11 +03:00
39 lines
624 B
Plaintext
39 lines
624 B
Plaintext
Hello, world
|
|
12
|
|
0
|
|
dlrow ,olleH
|
|
|
|
el
|
|
2 : ld
|
|
0 :
|
|
H
|
|
|
|
|
|
|
|
, world
|
|
'e'
|
|
abc
|
|
a
|
|
Just ('a', "bc")
|
|
Nothing
|
|
pack
|
|
|
|
['u', 'n', 'p', 'a', 'c', 'k']
|
|
[]
|
|
concatenate
|
|
|
|
[False, True, False, False, False, False, False]
|
|
[True, False, False, False, False, False, False]
|
|
[False, False, False, True, False, False, False]
|
|
[False, False, False, False, True, True, False]
|
|
[False, False, False, False, False, True, False]
|
|
[False, False, False, False, False, True, True]
|
|
['a', 'A', '~', '0', ' ', '\n', '\159']
|
|
[97, 65, 126, 48, 32, 10, 159]
|
|
['i', 't', 'e', 'r', 'a', 't', 'o', 'r', ' ', 'u', 'n', 'p', 'a', 'c', 'k']
|
|
"terator tail"
|
|
True
|
|
False
|
|
True
|
|
False
|