Open RobinHankin opened 1 year ago
Currently pwa() modifies a hyper2 object to give a competitor an advantage in terms of a reified entity. But it would be good to return a hyper3 object with a $\lambda$ term.
pwa()
hyper2
hyper3
Currently
pwa()modifies ahyper2object to give a competitor an advantage in terms of a reified entity. But it would be good to return ahyper3object with a $\lambda$ term.