Agda experiment to define Probability, Preference, Gambles, Amplitude, Superpositions, Utility, and "Qtility"
stuff contains the first attempt and uniform is the WIP we'll be using to more constructively define probability distributions
amcknight/qtility
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|