From 541dc40bc3968ca3da7b268ec2fc465998887e73 Mon Sep 17 00:00:00 2001 From: Kenneth MacKenzie Date: Wed, 15 May 2024 22:28:20 +0100 Subject: [PATCH 1/3] Update README.md --- doc/plutus-core-spec/README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/plutus-core-spec/README.md b/doc/plutus-core-spec/README.md index 011023a375a..ec2f662250f 100644 --- a/doc/plutus-core-spec/README.md +++ b/doc/plutus-core-spec/README.md @@ -1,10 +1,11 @@ This directory contains a draft of a version of the Plutus Core specification updated so that the language is parametric over a collection of built-in types and functions. It also updates the specification to reflect the fact that -built-in functions can now be partially applied. Click +built-in functions can now be partially applied. ~Click [here](https://ci.iog.io/job/input-output-hk-plutus/master/x86_64-linux.packages.plutus-core-spec/latest/download/1) to open a PDF of the most recent version of the specification in the main branch -of this repository. +of this repository.~ The link given in the previous sentence currently appears to be broken. +Would-be readers should build the PDF themselves: on a Linux system, `make` in the main source directory sholud do this. This version is currently restricted to untyped Plutus Core only. We will add a specification of a typed version of Plutus Core at a later date. For the time From 7b531cda4d4d69c3e39df4fc428c281b6ce1e9ce Mon Sep 17 00:00:00 2001 From: Kenneth MacKenzie Date: Wed, 15 May 2024 22:29:41 +0100 Subject: [PATCH 2/3] Update README.md --- doc/plutus-core-spec/README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/doc/plutus-core-spec/README.md b/doc/plutus-core-spec/README.md index ec2f662250f..5940ced4c23 100644 --- a/doc/plutus-core-spec/README.md +++ b/doc/plutus-core-spec/README.md @@ -4,8 +4,7 @@ and functions. It also updates the specification to reflect the fact that built-in functions can now be partially applied. ~Click [here](https://ci.iog.io/job/input-output-hk-plutus/master/x86_64-linux.packages.plutus-core-spec/latest/download/1) to open a PDF of the most recent version of the specification in the main branch -of this repository.~ The link given in the previous sentence currently appears to be broken. -Would-be readers should build the PDF themselves: on a Linux system, `make` in the main source directory sholud do this. +of this repository.~ The link given in the previous sentence currently appears to be broken: would-be readers should build the PDF themselves: on a Linux system, `make` in the main source directory should do this. This version is currently restricted to untyped Plutus Core only. We will add a specification of a typed version of Plutus Core at a later date. For the time From cb5efabda997a10b5b6778849911641742b7ceb2 Mon Sep 17 00:00:00 2001 From: Kenneth MacKenzie Date: Wed, 15 May 2024 22:30:17 +0100 Subject: [PATCH 3/3] Update README.md --- doc/plutus-core-spec/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/plutus-core-spec/README.md b/doc/plutus-core-spec/README.md index 5940ced4c23..2437df9204e 100644 --- a/doc/plutus-core-spec/README.md +++ b/doc/plutus-core-spec/README.md @@ -4,7 +4,7 @@ and functions. It also updates the specification to reflect the fact that built-in functions can now be partially applied. ~Click [here](https://ci.iog.io/job/input-output-hk-plutus/master/x86_64-linux.packages.plutus-core-spec/latest/download/1) to open a PDF of the most recent version of the specification in the main branch -of this repository.~ The link given in the previous sentence currently appears to be broken: would-be readers should build the PDF themselves: on a Linux system, `make` in the main source directory should do this. +of this repository.~ The link given in the previous sentence currently appears to be broken: would-be readers should build the PDF themselves. On a Linux system, `make` in the main source directory should do this. This version is currently restricted to untyped Plutus Core only. We will add a specification of a typed version of Plutus Core at a later date. For the time