Skip to content

Commit

Permalink
Update README.md (#5997)
Browse files Browse the repository at this point in the history
  • Loading branch information
Kenneth MacKenzie authored May 15, 2024
1 parent 92d94ca commit d99ba33
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions doc/plutus-core-spec/README.md
View file
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
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 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
Expand Down

1 comment on commit d99ba33

@github-actions
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Plutus Benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.05.

Benchmark suite Current: d99ba33 Previous: 92d94ca Ratio
validation-decode-escrow-redeem_1-2 320.8 μs 298.5 μs 1.07
validation-decode-escrow-redeem_2-2 320.5 μs 298 μs 1.08
validation-decode-escrow-refund-1 313.2 μs 297.7 μs 1.05
validation-decode-token-account-2 213.8 μs 201.8 μs 1.06

This comment was automatically generated by workflow using github-action-benchmark.

CC: @input-output-hk/plutus-core

Please sign in to comment.