Probabilistic music composition in Idris2 to model jazz improvisationgithub.com/idris-bayes1 pointnequo3 years ago