remove redundancy
authorClaude Heiland-Allen <claudiusmaximus@goto10.org>
Sat, 21 Apr 2012 20:27:08 +0000 (21:27 +0100)
committerClaude Heiland-Allen <claudiusmaximus@goto10.org>
Sat, 21 Apr 2012 20:27:08 +0000 (21:27 +0100)
commite16bc2d4fff03c33185b6e5c3697eaabed94cffe
treeee5afbb3e3e1fee70a10ea1c3cccb1635e058f0b
parent13b524560578d66948d5073920be1f28a9df001b
remove redundancy
TypeLevel/NaturalNumber/ExtraNumbers.hs