The three copy actions in HexEditor does not work as expected. Additionally, trying to use any of the actions when no file is open causes an assertion failure.

Some of the documentation pages from the old docs are still indexed in the search, so it is better to remove them.

Steps

• Remove the ClickHouse file.

Additional rewards

For each contribution, as a way of saying “thank you, MindsDB is offering free swag. For more info check out [

(App f x) = (f x)
(Succ x) = (+ x 1)
(Main) = (Pair (App Succ 0) (App @x(Succ x) 0))

This HVM code reduces (Main) to (Pair ((Succ) 0) 1). I would intuitively expect (Pair 1 1).

My understanding for this is that in (App Succ 0), the expression Succ is actually shorthand for (Succ), so we have (App (Succ) 0) which reduces to ((Succ) 0) which does not reduce.

Woul