Grenade: Dependently typed, practical neural network library in Haskellgithub.com/HuwCampbell6 pointsadamnemecek10 years ago