programlibs/Accel/demos/host-data.xtl

source · imports ac: libs/Accel/src/Accel.xtl

v : Int

value · line 9
v ← s̲ort 5 3 9 1 7

m : Int

value · line 10
m ← 3 3 r̲eshape g̲rade 9 1 8 2 7 3 6 4 5

f : Float

value · line 14
f ← (f̲loat v) ÷ 2.0