Marek
This PR contains fixes for errors that I have encounter when after `bundle install` tried to run `bundle exec rspec` on the project. The first failure is also present in...
While reading the chapter 3 I have noticed that this line `new_string = GoString(player, [point], liberties)` is duplicated as part of the updated implementation using zobrist hashing. I'm assuming this...
These checks are deleted from closure compiler used in latests versions of Clojurescript and lead to `NullPointerException`s if included in projects `:closure-warnings` configuration. https://github.com/google/closure-compiler/wiki/Warnings#warnings-categories I have considered to include comment...
This is why some people prefer `"something" == variable` comparisons to prevent such a mistakes.
Resolves: https://github.com/idris-hackers/idris-mode/issues/622
**Why:** Sometimes it makes nicer to align left hand side to columns. **Demo:**   This is first version and as next step it could be nice generalise the solution...
Snippets tab is displayed under page always, even if user is not allowed to handle with them.
/home/keram/gems/gems/actionpack-3.1.1/lib/action_dispatch/middleware/stack.rb:119:in `assert_index': No such middleware to insert after: ActionDispatch::Static (RuntimeError) from /home/keram/gems/gems/actionpack-3.1.1/lib/action_dispatch/middleware/stack.rb:91:in`insert_after' from /home/keram/web-data/project/vendor/refinerycms-snippets/lib/refinerycms-snippets.rb:21 from /home/keram/gems/gems/railties-3.1.1/lib/rails/initializable.rb:30:in `instance_exec' from /home/keram/gems/gems/railties-3.1.1/lib/rails/initializable.rb:30:in`run' from /home/keram/gems/gems/railties-3.1.1/lib/rails/initializable.rb:55:in `run_initializers' from /home/keram/gems/gems/railties-3.1.1/lib/rails/initializable.rb:54:in`each' from /home/keram/gems/gems/railties-3.1.1/lib/rails/initializable.rb:54:in `run_initializers' from /home/keram/gems/gems/railties-3.1.1/lib/rails/application.rb:96:in`initialize!' from...
- [X] I have read [CONTRIBUTING.md](https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md). - [X] I have checked that there is no existing PR/issue about my proposal. ## Summary Making the signature of output of `((:interpret String)...
After loading a file the Idris2 changes working directory to one level higher and same time keeps reference to the original working directory leading to error `Source file X is...