Quinn Dougherty 806ba86446 fixed lint		2022-04-20 12:13:31 -04:00
..
DistributionOperation	Added formatting	2022-04-15 14:10:17 -04:00
GenericDist	Changed isNormalize in response to CR	2022-04-15 16:28:51 -04:00
PointSetDist	Added isNormalized function, for testing	2022-04-15 13:58:00 -04:00
SampleSetDist	Removed Js.log	2022-04-15 13:59:25 -04:00
SymbolicDist	fixed lint	2022-04-20 12:13:31 -04:00
DistributionTypes.res	fixed bug after rebase: hope it doesn't cause problems	2022-04-13 01:08:51 -04:00