Marco Colombo
Marco Colombo
#### Summary: `rstan::sampling` doesn't seem to reject or ignore invalid options passed through the `...` argument. #### Description: If an invalid option is given, it is not ignored but it...
This highlights both `in` keywords in multi-iterable `for` loops (#148), and adds highlighting in the cases where `in` is used to check if an element is contained in an array,...
These are currently hardcoded as _`y`_ and _`yrep`_, but it may be helpful to provide an easy way to override the defaults.
I've just added a `skip_on_cran()` to one of my tests: ``` test_that("filter", { skip_on_cran() # ... } ``` This works fine when using `devtools::test()`, but if I run only the...
I'd like to use Skin Composer to manage my texture atlas. As I keep my textures in folders, and at times textures in different folders have the same name, currently...
In the description of the `simp` tactic, there's no mention of `simp only`, but that's what is suggested to use in Algorithm world level 3.
The info for `contrapose` suggests using `contrapose!`, but nowhere in the game is explained what is different between the two tactics.
For example, `pow_zero` shows this text: "pow_zero a : a ^ 0 = 1 is one of the two axioms defining exponentiation in this game." If `pow_zero` is indeed an...
Lemma `le_or_gt` is used in example 2.5.2 without comment. Only further down in exercise 6, a short explanation is provided: > As in Example 2.5.2, I used the lemma le_or_gt,...
In preparation for #141 I'm looking at `plot_GrowthCurve()` with greater attention. These are things I'd like to solve beforehand: - (1) The docs for `sample` are probably out of date...