A Cost-Aware Probability Monad for Liquid Haskell: Haskell Artifact

To reproduce the case studies please first download the file probability-monad.tar. Then, run the following command to create a Docker image: docker image load --input probability-monad.tar To start an interactive shell inside the Docker container created from the image execute the following command: docker run -i -t probability-monad:final /bin/bash Inside the container, the following commands can be used to run Liquid Haskell and verify the respective case studies. Meldable Heaps: verify CaseStudies/MeldableHeap.hs Randomised Quicksort: verify CaseStudies/QuickSort/*.hs Randomised Splay Trees: verify CaseStudies/Splay/*.hs Random Permutations: verify CaseStudies/Permutations/*.hs Hiring Problem: verify CaseStudies/HiringProblem/*.hs Bayes' Theorem: verify CaseStudies/BayesTheorem.hs Randomised Quickselect: verify CaseStudies/QuickSelect/*.hs