Skip to content

Instantly share code, notes, and snippets.

@mjdominus

mjdominus/gist:5711342

Created June 5, 2013 03:06
Show Gist options
  • Save mjdominus/5711342 to your computer and use it in GitHub Desktop.
Save mjdominus/5711342 to your computer and use it in GitHub Desktop.
Download ZIP
what is 'lower" for?
Raw
gistfile1.hs
data Zero
data Succ a
lower :: Succ a -> a
lower = undefined
class Modulus a where
modulus :: a -> Integer
instance Modulus Zero where
modulus = \a -> 0
instance (Modulus a) => Modulus (Succ a) where
modulus = \a -> 1 + modulus (lower a)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment