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