joelberkeley / spidr

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

break up tensor tests in several modules #353

Closed joelberkeley closed 1 year ago