nabilhassein

-- long brute force solution to exercise 7 on p. 20 of "Conceptual Mathematics"
-- if you don't have haskell on your computer, paste all this into:
-- https://replit.com/languages/haskell

-- this is how we define a data type in Haskell. think of it as a set
data Bit = Zero | One deriving (Show, Eq)
-- the last part tells Haskell to figure out how to print Bits, and that
-- Zero equals Zero, One equals One, and Zero is different from One

-- this is a type declaration. think domain and codomain

nabilhassein

-- Read more about this program in the official Elm guide:
-- https://guide.elm-lang.org/architecture/effects/time.html

-- adds a pause button to the default http://elm-lang.org/examples/time
-- this stops the tick displaying but not happening, so "jumps" on unpause

import Html exposing (Html, button, div)
import Html.Events exposing (onClick)
import Svg exposing (..)
import Svg.Attributes exposing (..)

nabilhassein

Keybase proof

I hereby claim:

• I am nabilhassein on github.
• I am nabilhassein (https://keybase.io/nabilhassein) on keybase.
• I have a public key whose fingerprint is F0EA 0018 D159 6336 082A 56B2 855C 5219 4A4C DEBE

To claim this, I am signing this object: