(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

Affected Version

Tested:
yay v11.1.0 - libalpm v13.0.1
yay v11.1.0.r4.g09695c6 - libalpm v13.0.1
The issue likely goes back for many versions.

Describe the bug

If you attempt to install an AUR devel package and it fails for whatever reason, the package still gets added to vcs.json. This means that the git repository for the package will be checked on any system upgrade with

Describe the bug

To Reproduce
Steps to reproduce the behavior:
input {{query (page-tags myblog)}}

Expected behavior
Don't show block

Screenshots

Desktop (please complete the following information):

• OS: [win10
• Version [0.2.10]

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.