joelberkeley / spidr

Accelerated machine learning with dependent types
Apache License 2.0
80 stars 4 forks source link

add iota for range-like tensors #385

Closed joelberkeley closed 10 months ago