descriptionUnnamed repository; edit this file to name it for gitweb.
last changeFri, 6 Mar 2015 22:39:05 +0000 (22:39 +0000)
shortlog
2015-03-06 Claude Heiland... moved to <http://code.mathr.co.uk/tlnn-bench> master
2012-10-16 Claude Heiland... type-level-natural-number-bench-0.2.0.0
2012-10-16 Claude Heiland... documentation
2012-10-16 Claude Heiland... add benchmarking and plotting script
2012-10-16 Claude Heiland... patches against type-level-natural-number
2012-10-16 Claude Heiland... ignore generated files
2012-10-16 Claude Heiland... directly benchmark naturalNumberAsInt
2012-10-16 Claude Heiland... try to benchmark directly
2012-10-16 Claude Heiland... rename and export extractor
2012-10-14 Claude Heiland... fix silly typo
2012-10-14 Claude Heiland... type-level-natural-number benchmark
heads
20 months ago master