Closed MarisaKirisame closed 7 years ago
rough draft: DBI -> Bool, Sum -> Lang -> UInt, Size, Show, Eval -> Meta/{Diff, Dual}, Vector -> Dual -> Diff -> Poly -> GDiff, ImpW -> Xor -> Map, Bimap, Fix, DiffWrapper -> VectorTF, FreeVector, Vector (toFreeVector)
There are already sam
rough draft: DBI -> Bool, Sum -> Lang -> UInt, Size, Show, Eval -> Meta/{Diff, Dual}, Vector -> Dual -> Diff -> Poly -> GDiff, ImpW -> Xor -> Map, Bimap, Fix, DiffWrapper -> VectorTF, FreeVector, Vector (toFreeVector)