Skip to content

Instantly share code, notes, and snippets.

@xenophobia

xenophobia/NIntArrow.hs

Created February 15, 2013 17:54
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save xenophobia/4962084 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save xenophobia/4962084 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
NIntArrow.hs
type family NIntArrow (a :: Nat)
type instance NIntArrow 'Zero = Int
type instance NIntArrow ('Succ n) = Int -> NIntArrow
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment