File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -10,7 +10,7 @@ symbolic computations.
1010In some ways, it is very similar to Haskell, but it has some key differences:
1111- Lambdas must be linear or affine, making it resource-aware
1212- Lambdas have no scope boundaries, enabling global substitutions
13- - First-class duplications allow a term to be copied into to two locations
13+ - First-class duplications allow a term to be copied into two locations
1414- First-class superpositions allow 2 terms to be stored in 1 location
1515
1616These primitives allow HVM to natively represent concepts that are not present
@@ -46,4 +46,4 @@ hvm run file.hvml -c # runs compiled (fast)
4646```
4747
4848Note: the ` -c ` flag will also generate a standalone ` .main.c ` file, which if you
49- want, you can compile and run it independently. See examples on the [ book/] ( book/ ) directory.
49+ want, you can compile and run it independently. See examples in the [ book/] ( book/ ) directory.
You can’t perform that action at this time.
0 commit comments