adding probability monad
PageRankWalk complete
.DS_Store banished
conflicts resolved
MC-SAT inference