Janis Voigtländer

Results 30 issues of Janis Voigtländer

Now that we have syntax highlighting of code blocks on the package pages, the question arises whether the colors should be consistent with how type signatures are shown. For example,...

request

As explained [here](https://github.com/elm-lang/package.elm-lang.org/issues/133#issuecomment-160266271), I think it makes more sense to present links for all subentries of a module that matches the search term on a package's page. From over there:...

[This feature](https://github.com/elm-lang/package.elm-lang.org/pull/91#issue-109519252) worked on `master`, but got lost during the `revamp`.

request

... not to the top level of the github repo. Requested, for example, [here](https://groups.google.com/d/msg/elm-discuss/5dwJjy-kd5g/nuGE4gfENIYJ). I've also felt the same want. Should be something happening in these lines: https://github.com/elm-lang/package.elm-lang.org/blob/a8f00fba39fd9d82ff6e27f820932859f481475a/frontend/Component/Header.elm#L36-L37

request

These tests seem to be redundant, based on how/when these functions are called: - https://github.com/zrho/afp/blob/master/battleships/Logic/Game.hs#L381-382 - https://github.com/zrho/afp/blob/master/battleships/Logic/Game.hs#L399-400 And, BTW, aren't these two functions `humanTurnFire` and `moveHuman` rather inconsistently named?

- The arrow tile in the legend does not agree with how arrows are rendered in the grid. - When, in the legend, "after x turns" is shown as a...

At least on my iOS device, neither the fleet placement nor the actual playing function at all.

Suggested various renamings of hints, in ways I would consider more useful/consistent in communicating with students in particular. The changes are distributed over several smaller commits "grouping" similar suggestions, and...