joelberkeley / spidr

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

mark `eval` as `covering` #418

Closed joelberkeley closed 1 month ago