[Verifpal] Verifpal 0.4.4

[Nadim Kobeissi]

Hello everyone,
Verifpal 0.4.4 is now available.

RELEASE NOTES
    - NEW: `nil` keyword. Self-explanatory (by popular request).
    - NEW: `_` can be used to assign anonymous constants (by popular
request).
    - Fix yet more parsing errors pointed out by Mike.
    - More fixes and improvements to authentication queries.
    - Added a new hopefully instructional example model:
`ephemerals_and_signature.vp`

INSTALLING AND UPDATING
    - If you’re fine with running arbitrary scripts in your terminal, you
can instantly update like this:
        - bash -c 'curl -sL https://verifpal.com/install|bash'
    - Or you can download a pre-compiled binary here:
        - https://source.symbolic.software/verifpal/verifpal/releases

NOTES ABOUT THIS VERSION
    - As usual, please continue your testing, everyone!

Looking forward to hearing from you all!

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from office
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20190908/27a8cd71/attachment.htm>