├── .gitignore ├── .hook.yaml ├── Makefile ├── README.md ├── code ├── enumerate.wppl ├── flip.wppl ├── model.wppl ├── recommend-rs.wppl ├── recommend-web.wppl ├── recommend.wppl ├── roll10.wppl └── roll4.wppl ├── demos.md ├── fig ├── ex-model-full.pdf ├── ex-model-full.svg ├── ex-model-out.pdf ├── ex-model-out.svg ├── ex-model-simple.pdf ├── ex-model-simple.svg ├── ex-problem.pdf ├── ex-problem.svg └── ex.graffle ├── madoko.mk ├── ppl.md └── style.mdk /.gitignore: -------------------------------------------------------------------------------- 1 | build 2 | -------------------------------------------------------------------------------- /.hook.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/.hook.yaml -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/README.md -------------------------------------------------------------------------------- /code/enumerate.wppl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/code/enumerate.wppl -------------------------------------------------------------------------------- /code/flip.wppl: -------------------------------------------------------------------------------- 1 | var b = flip(0.5); 2 | b ? "yes" : "no" 3 | -------------------------------------------------------------------------------- /code/model.wppl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/code/model.wppl -------------------------------------------------------------------------------- /code/recommend-rs.wppl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/code/recommend-rs.wppl -------------------------------------------------------------------------------- /code/recommend-web.wppl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/code/recommend-web.wppl -------------------------------------------------------------------------------- /code/recommend.wppl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/code/recommend.wppl -------------------------------------------------------------------------------- /code/roll10.wppl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/code/roll10.wppl -------------------------------------------------------------------------------- /code/roll4.wppl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/code/roll4.wppl -------------------------------------------------------------------------------- /demos.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/demos.md -------------------------------------------------------------------------------- /fig/ex-model-full.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/fig/ex-model-full.pdf -------------------------------------------------------------------------------- /fig/ex-model-full.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/fig/ex-model-full.svg -------------------------------------------------------------------------------- /fig/ex-model-out.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/fig/ex-model-out.pdf -------------------------------------------------------------------------------- /fig/ex-model-out.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/fig/ex-model-out.svg -------------------------------------------------------------------------------- /fig/ex-model-simple.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/fig/ex-model-simple.pdf -------------------------------------------------------------------------------- /fig/ex-model-simple.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/fig/ex-model-simple.svg -------------------------------------------------------------------------------- /fig/ex-problem.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/fig/ex-problem.pdf -------------------------------------------------------------------------------- /fig/ex-problem.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/fig/ex-problem.svg -------------------------------------------------------------------------------- /fig/ex.graffle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/fig/ex.graffle -------------------------------------------------------------------------------- /madoko.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/madoko.mk -------------------------------------------------------------------------------- /ppl.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/ppl.md -------------------------------------------------------------------------------- /style.mdk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/ppl-intro/HEAD/style.mdk --------------------------------------------------------------------------------