From 08a90c89cb1799a3a0d278716ef1831bfae02e38 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Thu, 29 Jan 2009 16:31:31 +0100 Subject: [PATCH] Add a double invertor model. --- Adders.hs | 4 ++++ 1 file changed, 4 insertions(+) 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 -- 2.30.2