All pastes #1775661 Raw Edit

bblum

public text v1 · immutable
#1775661 ·published 2010-02-02 14:24 UTC
rendered paste body
equivPath' ([(v1, Ktype), (v2, Ktype), (v4, Karrow (Karrow (Karrow(Ktype, Ktype), Ktype), Ktype))], Capp (x4, Clam (v3, Karrow (Ktype,Ktype), Capp (x3, Carrow (x1, x2)))), Capp (x4, Clam (v3, Karrow(Ktype, Ktype), Capp (x3, Carrow (Cpi1 (Cpair (x1, x2)), Capp (Clam(v4, Ktype, x4), x2))))));equivPath' ([(v1, Ktype), (v2, Ktype), (v4, Karrow (Karrow (Karrow(Ktype, Ktype), Ktype), Ktype))], Capp (x4, Clam (v3, Karrow (Ktype,Ktype), Capp (x3, Carrow (x1, x2)))), Capp (x4, Clam (v3, Karrow(Ktype, Ktype), Capp (x3, Carrow (Cpi1 (Cpair (x2, x1)), Capp (Clam(v4, Ktype, x4), x2))))));