Add link to HVM syntax

This commit is contained in:
Nicolas Abril 2024-06-16 22:16:56 +02:00 committed by GitHub
parent be7b8d3cad
commit d79e542ac6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1187,6 +1187,7 @@ hvm link_ports:
It's also possible to define functions using HVM syntax. This can be
thought of as a way to write "HVM assembly" directly in a Bend program.
You can find the reference of this syntax in the [HVM paper](https://github.com/HigherOrderCO/HVM/blob/main/paper/PAPER.pdf).
This is meant for writing things that would otherwise be hard or
impossible to write in normal Bend syntax.