joelberkeley / spidr

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

turn off prefix_record_projections for some records #360

Closed joelberkeley closed 1 year ago