joelberkeley / spidr

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

Add `stack` for concatenating along new axis #413

Open joelberkeley opened 1 month ago

joelberkeley commented 1 month ago

It's a nuisance to have to add a new dim before concatenating tensors. Add stack which does both in one.