You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This has become a large project. It would be good to split it into smaller parts. The most obvious is the probabilistic modelling API, which I might give the name "spidr".
This might be a good moment to migrate the tensor library to the numerical-idris org.
The text was updated successfully, but these errors were encountered:
This has become a large project. It would be good to split it into smaller parts. The most obvious is the probabilistic modelling API, which I might give the name "spidr".
This might be a good moment to migrate the tensor library to the numerical-idris org.
The text was updated successfully, but these errors were encountered: