Skip to content
Permalink
Browse files

[PLC] [Docs] Fixed links in the readme

  • Loading branch information...
effectfully committed Mar 14, 2019
1 parent 073ceb7 commit dbf588258958f5745d5fcc6ee4544d108a918f53
Showing with 3 additions and 3 deletions.
  1. +3 −3 language-plutus-core/README.md
@@ -1,6 +1,6 @@
# Plutus Core Language Library

The Haskell package `language-plutus-core` implements a range of functionality for manipulating Plutus Core programs. The implementation is based on the [Plutus Core language specification](https://github.com/input-output-hk/plutus/tree/master/docs/plutus-core).
The Haskell package `language-plutus-core` implements a range of functionality for manipulating Plutus Core programs. The implementation is based on the [Plutus Core language specification](../plutus-core-spec).

## Specification

@@ -80,7 +80,7 @@ Copied executables to ~/.local/bin:

#### The CK machine

The CK machine can be used to evaluate programs. For this, feed a type checked program to the `runCk` function defined in the [`Language.PlutusCore.CkMachine`](src/Language/PlutusCore/CkMachine.hs) module:
The CK machine can be used to evaluate programs. For this, feed a type checked program to the `runCk` function defined in the [`Language.PlutusCore.Evaluation.CkMachine`](src/Language/PlutusCore/Evaluation/CkMachine.hs) module:

```haskell
runCk :: Program TyName Name () -> CkEvalResult
@@ -104,7 +104,7 @@ echo "(program 0.1.0 [(lam x [(con integer) (con 2)] x) (con 2 ! 4)])" | plc eva

#### Tests

A term generation machinery sits in the [`Language.PlutusCore.TestSupport.Generator`](src/Language/PlutusCore/TestSupport/Generator.hs) module. It allows to generate terms that contain built-ins (integers, bytestrings, sizes and booleans), constant applications and first-order functions. E.g.
A term generation machinery sits in the [`Language.PlutusCore.Generators.Internal.Entity`](generators/Language/PlutusCore/Generators/Internal/Entity.hs) module. It allows to generate terms that contain built-ins (integers, bytestrings, sizes and booleans), constant applications and first-order functions. E.g.

```
[ (lam x_0 [ (con integer) (con 3) ] [ (lam x_1 [ (con integer) (con 3) ] [ [ { (con remainderInteger) (con 3) } [ [ { (con multiplyInteger) (con 3) } x_1 ] x_0 ] ] [ [ { (con addInteger) (con 3) } x_0 ] x_1 ] ]) [ [ { (con divideInteger) (con 3) } [ [ { (con addInteger) (con 3) } x_0 ] x_0 ] ] [ [ { (con multiplyInteger) (con 3) } x_0 ] x_0 ] ] ]) [ [ { (con divideInteger) (con 3) } [ [ { (con subtractInteger) (con 3) } [ [ { (con addInteger) (con 3) } (con 3 ! -1053) ] (con 3 ! 269) ] ] [ [ { (con divideInteger) (con 3) } (con 3 ! -1352) ] (con 3 ! -849) ] ] ] [ [ { { (con resizeInteger) (con 3) } (con 3) } (con 3) ] [ [ { { (con resizeInteger) (con 3) } (con 3) } (con 3) ] (con 3 ! 37) ] ] ] ]

0 comments on commit dbf5882

Please sign in to comment.
You can’t perform that action at this time.