type-level-natural-number-bench-0.2.0.0
-rw-r--r-- 23 .gitignore
-rw-r--r-- 1538 LICENSE
-rw-r--r-- 635 Main.hs
-rw-r--r-- 145 README
-rw-r--r-- 46 Setup.hs
-rw-r--r-- 243 Wrapper.hs
-rwxr-xr-x 739 bench.sh
drwxr-xr-x - patches
-rw-r--r-- 574 type-level-natural-number-bench.cabal