search

joelberkeley / spidr

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

implement non-finite `Bounded` for tensors #332

Closed joelberkeley closed 2 years ago