mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-11-27 13:40:15 +03:00
10 lines
261 B
Plaintext
10 lines
261 B
Plaintext
["123", "123", "123", "123", "123"]
|
|
["1234", "1234", "1234", "1234"]
|
|
["1234567", "1234567", "1234567"]
|
|
["134", "134", "134", "134"]
|
|
["134", "134", "134", "134"]
|
|
["134", "134", "134"]
|
|
["134", "134"]
|
|
["134"]
|
|
["237", "65517", "4294967277", "18446744073709551597"]
|