Skip to content

Instantly share code, notes, and snippets.

@xenophobia

xenophobia/addN.hs

Created February 15, 2013 17:56
Show Gist options

  • Select an option

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

Select an option

Learn more about clone URLs
Save xenophobia/4962100 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
addN.hs
addN :: SNat nat -> NIntArrow nat
addN n = addN' n 0
where
addN' :: SNat nat -> Int -> NIntArrow nat
addN' SZero acc = acc
addN' (SSucc n') acc = \x -> addN' n' (acc+x)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment