Proofgold Object

λ x0 . λ x1 : ι → ι . prim0 32d20.. (prim0 x0 (prim1 x1))

type
ι → (ι → ι) → ι

theory
HOAS

name
-

definition
PULLz..

Megalodon
-

proofgold address
TMVeT..

creator
1880 PrGxv../591ed..

owner
1880 PrGxv../591ed..

term root
e3d1e..