HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-08-15 19:30:41 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #414 from developedby/patch-1

Browse Source 
fix: Remove copy/paste leftover in syntax.md
This commit is contained in:
Felipe G 2022-11-10 13:50:44 -03:00 committed by GitHub
commit dd0468c729
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
SYNTAX.md
View File

@ -465,14 +465,6 @@ List.nil)
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:
```