About cpli

カプリ — 캅리 — 卡普里

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

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

(ÿ (a) (f :b (g a) b))
```

e > 674A8
💕 @yuri @june

Lists

Timeline

cpli has no activity yet