読者です 読者をやめる 読者になる 読者になる

Bool ::= False | True
Nat ::= O | S Nat
Maybe a ::= Nothing | Just a

Not :: Bool -> Bool
Not = False -> True
    | True -> False

Match :: _ -> _ -> Bool
Match a = a -> True
        | _ -> False

Pred ::= S (x : Nat) -> x