chococcino 🍫☕
Remote
cpli
@cpli@chaos.social
mastodon 4.6.9カプリ — 캅리 — 卡普里
```
Σ (A : 𝒰 α) (B : 𝒰 β) : 𝒰 (α ⊔ β) ≜
_,_ (a : A) (b : B)
g = (a: A) → f::(a.g(b));
(ÿ (a) (f :b (g a) b))
```
e > 674A8
💕 @yuri@social.nekover.se @june@social.nekover.se
0 Followers
0 Following
3 Posts
Joined June 11, 2023
Replying to
@cwebber@social.coop my us friens are blowing up the gc. owo, what's this?
RE: https://chaos.social/@cpli/115187778154027565