waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
aiken/examples/hello_world
History
rvcas 135dbd8335 feat: handle pipe fn infer TODOs 
This improves error messages for `a |> b(x)`.

We need to do a special check when looping over the args
and unifying. This information is within a function that does not belong
to pipe typer so I used a closure to forward along a way to add
metadata to the error when the first argument in the loop has a
unification error. Simply adding the metadata at the pipe typer
level is not good enough because then we may annotate regular
unification errors from the args.
 		2023-10-03 01:17:15 -04:00
..
validators Cargo fmt 2023-08-07 19:00:39 -04:00
.gitignore feat(cli): rework uplc subcommands 2023-06-01 23:50:59 -04:00
README.md update cli documentation 2023-03-07 19:15:03 -05:00
aiken.lock feat: handle pipe fn infer TODOs 2023-10-03 01:17:15 -04:00
aiken.toml Fix acceptance tests to use new syntax. 2023-02-19 10:10:40 +01:00
generate-credentials.ts Small tweaks on the hello_world examples. 2023-03-08 09:47:08 +01:00
hello_world-lock.ts Small tweaks on the hello_world examples. 2023-03-08 09:47:08 +01:00
hello_world-unlock.ts Small tweaks on the hello_world examples. 2023-03-08 09:47:08 +01:00
plutus.json feat(cli): rework uplc subcommands 2023-06-01 23:50:59 -04:00

README.md

Hello, World!

An example of an Hello, World! contract using Aiken and Lucid.

See the full tutorial on aiken-lang.org.

Building

aiken build

Generating Credentials

deno run --allow-net --allow-write generate-credentials.ts

Locking Funds

Warning Require BLOCKFROST_API_KEY environment variable to be set.

deno run --allow-net --allow-read --allow-env hello_world-lock.ts

Unlocking Funds

Warning Require BLOCKFROST_API_KEY environment variable to be set.

deno run --allow-net --allow-read --allow-env hello_world-unlock.ts TRANSACTION_ID_FROM_LOCK