search

joelberkeley / spidr

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

Allow `concat` to take any number of tensors #412

Open joelberkeley opened 1 month ago

joelberkeley commented 1 month ago

To allow concat 0 [x, y, z] instead of concat 0 x $ concat 0 y z, for example