bookmark

Haskell On computable types. II. Flipping the arrow

http://www.haskell.org/pipermail/haskell/2006-September/018487.html

Description

How to get (-> r) to work at the type level?

Preview

Tags

Users

Comments and Reviewsshow / hide

Please log in to take part in the discussion (add own reviews or comments).