[Haskell-cafe] looking for deep learning explanation a la Lämmel's map-reduce paper

[Johannes Waldmann]

> ... I wonder if there's something similar ("Haskell for design
> recovery",  "rigorous description", "executable specification")
> on deep learning.

perhaps this (although the goal is different)

https://blog.jle.im/entries/series/+practical-dependent-types-in-haskell.html

- J