Fausto Carcassi
Results
2
issues of
Fausto Carcassi
If I understand correctly, the situation is the following. To define new domains, we sometimes have to define new primitives in ocaml, which means we have to define their types....
I was wondering if there's any description / hints anywhere on how to define probabilistic rather than deterministic programs. For instance, how would we go about adding a flip stochastic...