cpli [email protected]

カプリ — 캅리 — 卡普里

<pre>
Σ (A : 𝒰 α) (B : 𝒰 β) : 𝒰 (α ⊔ β) ≜
_,_ (a : A) (b : B)

g = (a: A) → f::<B>(a.g(b));

(ÿ (a) (f :b (g a) b))
</pre>

am gay