Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- type family GCD d m n
- type instance GCD d Zero Zero = d
- type instance GCD d (Succ m) (Succ n) = GCD (Succ d) m n
- type instance GCD Zero (Succ m) Zero = Succ m
- type instance GCD (Succ d) (Succ m) Zero = GCD (Succ Zero) d m
- type instance GCD Zero Zero (Succ n) = Succ n
- type instance GCD (Succ d) Zero (Succ n) = GCD (Succ Zero) d n
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement