-exp_adder :: ([Bit], [Bit]) -> ([Bit], Bit)
-
-exp_adder ([a3,a2,a1,a0], [b3,b2,b1,b0]) =
- ([s3, s2, s1, s0], c3)
- where
- (s0, c0) = full_adder (a0, b0, Low)
- (s1, c1) = full_adder (a1, b1, c0)
- (s2, c2) = full_adder (a2, b2, c1)
- (s3, c3) = full_adder (a3, b3, c2)
+-- exp_adder :: ([Bit], [Bit]) -> ([Bit], Bit)
+--
+-- exp_adder ([a3,a2,a1,a0], [b3,b2,b1,b0]) =
+-- ([s3, s2, s1, s0], c3)
+-- where
+-- (s0, c0) = full_adder (a0, b0, Low)
+-- (s1, c1) = full_adder (a1, b1, c0)
+-- (s2, c2) = full_adder (a2, b2, c1)
+-- (s3, c3) = full_adder (a3, b3, c2)