optional sharing - Githubissues

joelberkeley / spidr

Accelerated machine learning with dependent types

Apache License 2.0

72 stars 4 forks source link

Closed joelberkeley closed 1 month ago

joelberkeley commented 2 months ago

rename Graph since it doesn't contain the whole graph? to e.g. Tag or Share