8 lines
92 B
Coq
8 lines
92 B
Coq
|
|
fn main() {
|
||
|
|
w := 727
|
||
|
|
x := 0x2d7
|
||
|
|
y := 0o1327
|
||
|
|
z := 0b10110_10111
|
||
|
|
println([w, x, y, z])
|
||
|
|
}
|