Name		Name	Last commit message	Last commit date
docs		docs
maple		maple
src		src
stan		stan
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Repository files navigation

Probabilistic Programming

Scottish Programming Languages and Verification Summer School 2019

Running

cd src
stack ghci Casino.hs
> main

About

Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)

10 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages