Module Dagger_tests

module Basic_consistency : sig ... end
module Sprinkler : sig ... end
module Linear_regression : sig ... end

Testing various backends on bayesian linear regression

module Diffusions : sig ... end
module Biased_coin : sig ... end
module Resampling_test : sig ... end

Test resampling (used in SMC)

module Random_walks : sig ... end

The purpose of this test is to check (visually) that a random walk converges to its equilibrium

module Map_array : sig ... end
module Poly : sig ... end
module Yield : sig ... end