demo: a proof of currying and currying function arguments embedded in a simply typed lambda calculus.
bond15 / ch-intuitionisticpropositiallogicdemo Goto Github PK
View Code? Open in Web Editor NEWdemo: a proof of currying and currying function arguments embedded in a simply typed lambda calculus.