Categories
Misc

Idris and XLA: linear algebra and probabilistic modelling w. dependent types

submitted by /u/tmp-1379
[visit reddit] [comments]

Leave a Reply

Your email address will not be published.