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

... 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.htm... - J