From 492d00d9d46dcb555d098fdfaa483797321e7839 Mon Sep 17 00:00:00 2001 From: Nicolas Abril Date: Mon, 8 Apr 2024 16:57:34 +0200 Subject: [PATCH] [sc-549] Clarify that hvml is the intended hvmc IR and target for compilers --- README.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/README.md b/README.md index 15b47ca22..0cd1b0cc7 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,12 @@ HVM-Lang is a lambda-calculus based language and serves as an Intermediate Representation for HVM-Core, offering a higher level syntax for writing programs based on the [Interaction-Calculus](https://github.com/VictorTaelin/Interaction-Calculus#interaction-calculus). +Compilers that want to target the HVM should compile the source language to HVM-lang, which takes care of converting interaction calculus into the underlying interaction networks. + +Note that HVM-lang is untyped and does not guarantee correctness or soundness. Compilers that don't want to implement the necessary check can instead transpile to the [Kind language](https://github.com/HigherOrderCO/kind2), which compiles to HVM-lang and implements type-level checking. + +Programmers looking for an HVM-based programming language should also use Kind, which is designed to be user-interfacing. + ## Installation With the nightly version of rust installed, clone the repository: