Skip to content

Commit

Permalink
Change remaining README uses of define to let (#182)
Browse files Browse the repository at this point in the history
  • Loading branch information
wilcoxjay authored Aug 10, 2023
1 parent 4a299ac commit 8d56272
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -196,10 +196,10 @@ Define a `path` and an `edge` relation between two `i64`s.

inserts two edges into the store for the `edge` function. If your function is relation between the inputs, use `relation` and the above syntax to define the relations, since there is no syntax to define a unit value using `set`.

### `define` command
### `let` command

```
( define <name:Ident> <expr:Expr> <cost:Cost> )
( let <name:Ident> <expr:Expr> )
```

defines a named value. This is the same as a 0-arity function with a given, singular value.
Expand Down

0 comments on commit 8d56272

Please sign in to comment.