Grenade: Dependently typed, practical neural network library in Haskell | Heykuki News