issues
search
joelberkeley
/
spidr
Accelerated machine learning with dependent types
Apache License 2.0
73
stars
4
forks
source link
make `pure` total for `Literal`
#348
Closed
joelberkeley
closed
1 year ago
joelberkeley
commented
1 year ago
won't do now
won't do now