Kina.ai
Menu

Example

invalid_dim_zero.kina

Expected rejection

This program is intentionally invalid. The compiler should reject its type or shape.

Source
tensor<F32, [0, 4]>