
 0 | module NN.Architectures.Residual
 1 | 
 2 | import Data.Para
 3 | 
 4 | public export
 5 | addResidual : Num a => a -\-> a -> a -\-> a
 6 | addResidual (MkPara param f) = MkPara param
 7 |   $ \(input ** p) => f (input ** p) + input
 8 |