From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Thu, 29 Jan 2009 15:31:31 +0000 (+0100)
Subject: Add a double invertor model.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=08a90c89cb1799a3a0d278716ef1831bfae02e38;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Add a double invertor model.
---

diff --git a/Adders.hs b/Adders.hs
index c2810d5..ec486e6 100644
--- 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