programlibs/Accel/demos/vector-add.xtl

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

a : Int

value · line 5

a ← r̲ange 8

Used in: libs/Accel/demos/vector-add.xtl:7

b : Int

value · line 6

b ← 10 × r̲ange 8

Used in: libs/Accel/demos/vector-add.xtl:7

x : Float

value · line 8

x ← (r̲ange 8) ÷ 4

Used in: y, libs/Accel/demos/vector-add.xtl:10

y : Float

value · line 9

y ← 0.5 ᵃᶜs̲cale x

Used in: libs/Accel/demos/vector-add.xtl:10