--- 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)