in #functional programming, @Haskell
in #functional programming, #haskell, #machine learning, #artificial neural networks, @Haskell, +Backprop
in #functional programming, #dependent types, #haskell, #singletons, #types, #artificial neural networks, #machine learning, #existential types, @Haskell, @Ramblings, +Practical Dependent Types in Haskell
in #functional programming, #dependent types, #haskell, #singletons, #types, #linear algebra, #artificial neural networks, #machine learning, @Haskell, @Ramblings, +Practical Dependent Types in Haskell