A very hacky (incomplete) implementation of a depedently-typed neural net.
Written for COMSM0018 Applied Deep Learning at the University of Bristol.
Forked from Soham Chowdhury (mrkgnao)'s Idris implementation of Justin Le (mstksg)'s dependently-typed neural network in Haskell.
Also heavily inspired by Huw Campbell's Grenade library.