Skip to content

Instantly share code, notes, and snippets.

@spockz

spockz/gist:369740

Created April 17, 2010 18:50
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save spockz/369740 to your computer and use it in GitHub Desktop.
Save spockz/369740 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.lhs
data Zero = Zero
data Succ a = Succ a
class Times x y z | x y -> z where
times :: x -> y -> z
instance Times Zero x Zero where
times Zero x = Zero
instance (Times n x r', Add x r' r) => Times (Succ n) x r where
times (Succ n) x = add x (times n x)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment