Agda experiment to define Probability, Preference, Gambles, Superpositions, Utility, and "Qtility"
Primary LanguageAgda
No issues in this repository yet.