|
|
4f5d7f15bf
|
Fix build
detProp2 isn't implemented yet, oops
|
2014-12-18 04:14:31 +01:00 |
|
|
|
f774a92dd6
|
TESTS: add MyPrelude tests
|
2014-12-18 03:53:27 +01:00 |
|
|
|
b1ac2aa223
|
TESTS: add inRangeProp6
|
2014-12-18 01:06:16 +01:00 |
|
|
|
ecce3cd9d6
|
TESTS: add more test cases
|
2014-12-18 00:47:51 +01:00 |
|
|
|
396f92a921
|
TESTS: add more tests for scalarProd
|
2014-12-17 19:53:03 +01:00 |
|
|
|
35e1366034
|
TESTS: add some tests for scalarProd
|
2014-12-17 19:37:28 +01:00 |
|
|
|
f68d4c2ba7
|
TESTS: initial implementation of a few test cases
|
2014-12-17 05:11:18 +01:00 |
|
