Add a double invertor model.

diff --git a/Adders.hs b/Adders.hs
index c2810d5b397af025816fa3e0ed5a87e95163ab0d..ec486e60afdb2e1f276a87a4b2336cd326f4ad84 100644 (file)
--- a/Adders.hs
+++ b/Adders.hs
@@ -18,6 +18,10 @@ wire a = a
 inv :: Bit -> Bit
 inv a = hwnot a
 
+-- Not really an adder either, but a slightly more complex example
+invinv :: Bit -> Bit
+invinv a = hwnot (hwnot a)
+
 -- Combinatoric stateless no-carry adder
 -- A -> B -> S
 no_carry_adder :: (Bit, Bit) -> Bit