mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-09-11 07:15:45 +03:00
fix: Remove copy/paste leftover in syntax.md
This commit is contained in:
parent
a7650f37af
commit
a4ae8db8c3
@ -465,14 +465,6 @@ List.nil)
|
|||||||
|
|
||||||
But underneath the hood, what an implicit argument actually does is automatically put holes in these places.
|
But underneath the hood, what an implicit argument actually does is automatically put holes in these places.
|
||||||
|
|
||||||
Moreover, single holes can be shortened as `!`. So it can also be written as:
|
|
||||||
|
|
||||||
```
|
|
||||||
List.cons!(List.cons!(1, List.cons!(2, List.nil!)),
|
|
||||||
List.cons!(List.cons!(3, List.cons!(4, List.nil!)),
|
|
||||||
List.nil!))
|
|
||||||
```
|
|
||||||
|
|
||||||
Of course, in this particular example, we can just use the list notation directly:
|
Of course, in this particular example, we can just use the list notation directly:
|
||||||
|
|
||||||
```
|
```
|
||||||
|
Loading…
Reference in New Issue
Block a user