packages feed

language-dickinson-0.1.0.0: prelude/curry.dck

%-

(:def curry
  (:lambda f (⟶ (text, text) text)
    (:lambda x text
      (:lambda y text
        ($ f (x, y))))))

(:def uncurry
  (:lambda f (⟶ text (⟶ text text))
    (:lambda x (text, text)
      (:match x (y, z)
        ($ $ f y z)))))