Idris2Doc : NN.Architectures.Residual

NN.Architectures.Residual

(source)

Definitions

addResidual : Num a => a -\-> a -> a -\-> a
Totality: total
Visibility: public export