mirror of
https://github.com/idris-lang/Idris2.git
synced 2025-01-02 08:35:07 +03:00
10 lines
243 B
Plaintext
10 lines
243 B
Plaintext
31
|
|
1
|
|
2
|
|
1234605616436508552
|
|
1.414214
|
|
"Hello, world"
|
|
[1, 2, 136, 119, 102, 85, 68, 51, 34, 17, 205, 59, 127, 102, 158, 160, 246, 63, 72, 101, 108, 108, 111, 44, 32, 119, 111, 114, 108, 100, 0]
|
|
[0, 255, 238, 221, 204, 187, 170, 153]
|
|
ABEiM0RVZnc=
|