Numeric.Limp.Program.Linear

data K

data Linear z r c k

type family KMerge a b :: K

type family KRep a :: * -> *

toR

z

z1

r

r1

con

c0

c1

on2

neg

(.*)

(*.)

(.+.)

(.-.)

eval

evalR