Swapped order, cork is λ[a b].λx.(b(a(x)))
Swapped order, cork is λ[a b].λx.(b(a(x)))

daveloyall/urbit,8l/urbit,yebyen/urbit,yebyen/urbit,Gunga/urbit,dcow/urbit,dphiffer/urbit,bollu/urbit,jpt4/urbit,8l/urbit,philipcmonk/urbit,galenwp/urbit,rsaarelm/urbit,Gunga/urbit,urbit/archaeology-factor,philippeback/urbit,burtonsamograd/urbit,burtonsamograd/urbit,daveloyall/urbit,burtonsamograd/urbit,bvschwartz/urbit,dphiffer/urbit,bvschwartz/urbit,chc4/urbit,urbit/archaeology-factor,chc4/urbit,urbit/archaeology-factor,philippeback/urbit,8l/urbit,dphiffer/urbit,urbit/archaeology-factor,rsaarelm/urbit,rsaarelm/urbit,bollu/urbit,bvschwartz/urbit,bvschwartz/urbit,philippeback/urbit,yebyen/urbit,Gunga/urbit,urbit/archaeology-factor,philipcmonk/urbit,yebyen/urbit,Gunga/urbit,jpt4/urbit,daveloyall/urbit,chc4/urbit,rsaarelm/urbit,dphiffer/urbit,bvschwartz/urbit,dcow/urbit,jpt4/urbit,galenwp/urbit,jpt4/urbit,daveloyall/urbit,bollu/urbit,dcow/urbit,jpt4/urbit,chc4/urbit,philippeback/urbit,burtonsamograd/urbit,bollu/urbit,8l/urbit,bvschwartz/urbit,philipcmonk/urbit,burtonsamograd/urbit,galenwp/urbit,Gunga/urbit,Gunga/urbit,philippeback/urbit,yebyen/urbit,rsaarelm/urbit,urbit/archaeology-factor,philippeback/urbit,chc4/urbit,yebyen/urbit,rsaarelm/urbit,burtonsamograd/urbit,yebyen/urbit,chc4/urbit,philipcmonk/urbit,daveloyall/urbit,philipcmonk/urbit,philippeback/urbit,jpt4/urbit,bvschwartz/urbit,dphiffer/urbit,bvschwartz/urbit,yebyen/urbit,dphiffer/urbit,Gunga/urbit,philipcmonk/urbit,bollu/urbit,daveloyall/urbit,bvschwartz/urbit,rsaarelm/urbit,daveloyall/urbit,jpt4/urbit,bvschwartz/urbit,daveloyall/urbit,urbit/archaeology-factor,bollu/urbit,8l/urbit,galenwp/urbit,bollu/urbit,dphiffer/urbit,philipcmonk/urbit,burtonsamograd/urbit,philipcmonk/urbit,rsaarelm/urbit,daveloyall/urbit,urbit/archaeology-factor,yebyen/urbit,burtonsamograd/urbit,chc4/urbit,8l/urbit,bollu/urbit,dcow/urbit,burtonsamograd/urbit,galenwp/urbit,dphiffer/urbit,daveloyall/urbit,philippeback/urbit,rsaarelm/urbit,bollu/urbit,burtonsamograd/urbit,chc4/urbit,galenwp/urbit,jpt4/urbit,8l/urbit,galenwp/urbit,8l/urbit,chc4/urbit,Gunga/urbit,galenwp/urbit,dphiffer/urbit,jpt4/urbit,philipcmonk/urbit,urbit/archaeology-factor,philippeback/urbit,dcow/urbit,dcow/urbit,rsaarelm/urbit,jpt4/urbit,galenwp/urbit,bollu/urbit,dcow/urbit,8l/urbit,yebyen/urbit,chc4/urbit,Gunga/urbit,dcow/urbit,philippeback/urbit,philipcmonk/urbit,8l/urbit,galenwp/urbit,dphiffer/urbit,urbit/archaeology-factor,Gunga/urbit,dcow/urbit