benwr

[...]
Delivered-To: [email protected]
Received: by 2002:a05:6359:628a:b0:172:dcef:47e8 with SMTP id se10csp7687555rwb;
        Wed, 3 Jan 2024 07:07:35 -0800 (PST)
X-Google-Smtp-Source: AGHT+IH4ojW/2eSP6bnumv1mMLAoAxFSeLXEys78nBFy+H3/y5fnnc7Dnxfm/WactOUsdfWbYvPy
X-Received: by 2002:a5d:5005:0:b0:336:6bf1:6e6c with SMTP id e5-20020a5d5005000000b003366bf16e6cmr9987854wrt.108.1704294454666;
        Wed, 03 Jan 2024 07:07:34 -0800 (PST)
[...]
Return-Path: <[email protected]>
Received: from mail-4323.proton.ch (mail-4323.proton.ch. [185.70.43.23])

benwr

-- succeeds
foo : if False then Nat else Bool
foo = Z

-- fails
-- bar : if False then Nat else Bool
-- bar = False

-- succeeds
baz : case S (S Z) of { Z => Nat; S Z => Bool; _ => Nat -> Bool }

benwr

Keybase proof

I hereby claim:

• I am benwr on github.
• I am benwr (https://keybase.io/benwr) on keybase.
• I have a public key ASBd6OSd8PZIS4slNIw9hwoQk8_YJe7DgSzm2i1tLfk6IQo

To claim this, I am signing this object:

benwr

InProgress { number: 1, roll: 1 }: Some(Multiply)
InProgress { number: 1, roll: 2 }: Some(Multiply)
InProgress { number: 1, roll: 3 }: Some(Add)
InProgress { number: 1, roll: 4 }: Some(Multiply)
InProgress { number: 1, roll: 5 }: Some(Multiply)
InProgress { number: 1, roll: 6 }: Some(Multiply)
InProgress { number: 2, roll: 1 }: Some(Multiply)
InProgress { number: 2, roll: 2 }: Some(Add)
InProgress { number: 2, roll: 3 }: Some(Add)
InProgress { number: 2, roll: 4 }: Some(Add)