search

joelberkeley / spidr

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

Explain that API is intentionally verbose #411

Open joelberkeley opened 1 month ago

joelberkeley commented 1 month ago

... and that it's that way because we want to get used to the dependent types before we try to decide on any DSLs.