ayberkt

Keybase proof

I hereby claim:

• I am ayberkt on github.
• I am ayberkt (https://keybase.io/ayberkt) on keybase.
• I have a public key whose fingerprint is 6DB0 41EE 6BA4 C35C 5E31 0A54 3F60 CB76 1EB4 7FD7

To claim this, I am signing this object:

ayberkt

Keybase proof

I hereby claim:

• I am ayberkt on github.
• I am ayberkt (https://keybase.io/ayberkt) on keybase.
• I have a public key whose fingerprint is 17AA 88FB 333F F93A 4C3A 2531 2409 CCD7 6D12 4F2B

To claim this, I am signing this object:

ayberkt

{-# OPTIONS --cubical --safe #-}

module Problem where

open import Cubical.Core.Everything         using    ( _≡_
                                                     ; Type
                                                     ; Σ
                                                     ; Σ-syntax
                                                     ; _,_ )
open import Cubical.Data.Prod               using    ( _,_; proj₁; proj₂ )