add `argmin`, `argmax` for finding the index of minina, maxima in a vector - Githubissues

joelberkeley / spidr

Accelerated machine learning with dependent types

Apache License 2.0

73 stars 4 forks source link

add `argmin`, `argmax` for finding the index of minina, maxima in a vector #329

Closed joelberkeley closed 1 year ago