issues
search
joelberkeley
/
spidr
Accelerated machine learning with dependent types
Apache License 2.0
73
stars
4
forks
source link
bump version to v0.0.5 (#321)
#322
Closed
joelberkeley
closed
2 years ago
joelberkeley
commented
2 years ago
migrate to pack package manager
update Idris version to latest