cpli
カプリ — 캅리 — 卡普里
```<pl>
Σ (A : 𝒰 α) (B : 𝒰 β) : 𝒰 (α ⊔ β) ≜
_,_ (a : A) (b : B)
g = (a: A) → f::<B>(a.g(b));
(ÿ (a) (f :b (g a) b))
```
e > 674A8
💕 fi (npub1zp3…7xz8) June (npub1qt6…83t6)
pronounciation: /'kapli/
homepage: https://cpli.dev
matrix: cpli (npub1syk…8j27):fairydust.space
pronouns: they/them
```<pl>
Σ (A : 𝒰 α) (B : 𝒰 β) : 𝒰 (α ⊔ β) ≜
_,_ (a : A) (b : B)
g = (a: A) → f::<B>(a.g(b));
(ÿ (a) (f :b (g a) b))
```
e > 674A8
💕 fi (npub1zp3…7xz8) June (npub1qt6…83t6)
pronounciation: /'kapli/
homepage: https://cpli.dev
matrix: cpli (npub1syk…8j27):fairydust.space
pronouns: they/them
Public Key
npub1sykmlfmnfguyp6zy9e2wy9eegacerk2lxm0dl3zssfkgyg7ce7hqeh8j27NIP-05 Address
[email protected]Profile Code
nprofile1qqsgztdl5ae55wzqapzzu48zzuu5wuv3m90ndhklc3ggymyzy0vvltspz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0ds3ullq4Author Public Key
npub1sykmlfmnfguyp6zy9e2wy9eegacerk2lxm0dl3zssfkgyg7ce7hqeh8j27