diff options
Diffstat (limited to 'example/toy/weights.toy')
| -rw-r--r-- | example/toy/weights.toy | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/example/toy/weights.toy b/example/toy/weights.toy new file mode 100644 index 0000000..70075b7 --- /dev/null +++ b/example/toy/weights.toy @@ -0,0 +1,3 @@ +logp 2 +use_house 0 +use_shell 1 |