D | |
| dist [Prob_lang] |
A distribution (for now, not using log probabilities.)
|
T | |
| term [Prob_lang] |
The terms are the untyped lambda calculus, plus a nondeterministic
"flip" construct.
|
V | |
| varname [Prob_lang] |
Using distinct "string ref"s as distinct variable names,
sort of like "gensym".
|