[Agda] StringOrInt function

[Nils Anders Danielsson]

On 2020-04-15 22:07, Philippe de Rochambeau wrote:
> StringOrInt : ∀ {ℓ} {A : Set ℓ} → Bool → A
> StringOrInt True  = Nat
> StringOrInt False = String

StringOrInt : Bool → Set
StringOrInt true  = Nat
StringOrInt false = String

-- 
/NAD