type-level-natural-number-bench-0.2.0.0
[variable-precision:type-level-natural-number-bench.git] / Setup.hs
2012-10-14 Claude Heiland-Allentype-level-natural-number benchmark