About RanolP
FunApp
(Γ ⊢ 𝑓: Humor → Happy, 𝑎 : Humor) / (𝑓 𝑎 : Happy)
Lists
ranolp has no public lists
Timeline
ranolp has no activity yet
FunApp
(Γ ⊢ 𝑓: Humor → Happy, 𝑎 : Humor) / (𝑓 𝑎 : Happy)
ranolp has no public lists
ranolp has no activity yet