Merge pull request #18 from metrix-ai/master
-rw-r--r-- 282 .gitignore
-rw-r--r-- 7873 .travis.yml
drwxr-xr-x - Control
-rw-r--r-- 1611 LICENSE
-rw-r--r-- 228 README.md
-rw-r--r-- 87 Setup.hs
drwxr-xr-x - bench
-rw-r--r-- 56 cabal.project
-rw-r--r-- 2339 changelog.md
-rw-r--r-- 77 prologue.txt
-rw-r--r-- 2086 stm.cabal
drwxr-xr-x - tests
drwxr-xr-x - testsuite