use KnownNat for singletons
authorClaude Heiland-Allen <claude@mathr.co.uk>
Sun, 16 Mar 2014 20:12:36 +0000 (20:12 +0000)
committerClaude Heiland-Allen <claude@mathr.co.uk>
Sun, 16 Mar 2014 20:12:36 +0000 (20:12 +0000)
commitb30ee70b3e1196be9bb877c4c362968c1a1d2256
tree172c65af9e37ede572ad82b4e3736cdc50b19944
parentd4e6d0cb2bc89658a5cf20a6e2bbc4f2291b9ec0
use KnownNat for singletons
src/Numeric/Rounded/Precision.hs