search

joelberkeley / spidr

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

add shapes to `Expr` type #320

Closed joelberkeley closed 1 year ago

joelberkeley commented 1 year ago

won't do