Oliur Rahaman
@oliur01.bsky.social
{-# LANGUAGE DataKinds, TypeOperators #-}
import GHC.TypeLits
data E (i::Symbol) (l::Symbol)=E
x=E :: E "𝔥𝔲𝔪𝔞𝔫" "বাংলাদেশ"
t (E :: E i l)= "∃ you ∈ "++ symbolVal (Proxy::Proxy l) ++": "++ symbolVal (Proxy::Proxy i)
r=t x
import GHC.TypeLits
data E (i::Symbol) (l::Symbol)=E
x=E :: E "𝔥𝔲𝔪𝔞𝔫" "বাংলাদেশ"
t (E :: E i l)= "∃ you ∈ "++ symbolVal (Proxy::Proxy l) ++": "++ symbolVal (Proxy::Proxy i)
r=t x
No posts yet.